Alfons Laarman
Alfons Laarman
Affiliation: Leiden University
Talks
(FMQC)
Session Chair — Opening and Keynote
(FMQC)
From Tensor Networks to Tractable Circuits, and Back · Representation of Quantum Information
(FMQC)
Quantum Physics using Weighted Model Counting · Model Counting
(KR)
From Tensor Networks to Tractable Circuits, and back · Knowledge compilation
(SAT)
The Compilability Thresholds of 2-CNF to OBDD · Session E2: Knowledge Compilation
(SYNT)
Reducing Quantum Circuit Synthesis to #SAT · Functional & Quantum Synthesis
(CAV)
Quokka#: Quantum Computing with #SAT · Quantum
Pages in this Program
Program
Program on Saturday, 18 July 2026
FMQC on Saturday, 18 July 2026
FMQC Program
Program on Monday, 20 July 2026
KR on Monday, 20 July 2026
KR Program
Program on Tuesday, 21 July 2026
SAT on Tuesday, 21 July 2026
SAT Program
Program on Saturday, 25 July 2026
SYNT on Saturday, 25 July 2026
SYNT Program
Program on Wednesday, 29 July 2026
CAV on Wednesday, 29 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑