Marc Vinyals
Marc Vinyals
Affiliation: University of Auckland
Pages in this Program
An Exponential Separation between Deterministic CDCL and DPLL Solvers
Cutting Planes with Cover Cuts
Cardinality Cuts & Saturation
A Boolean static proof system for Quantified Boolean Formulas
Certified Implicit Hitting Set Solving with Local Search for Pseudo-Boolean Optimization
A Boolean static proof system for Quantified Boolean Formulas.
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑