no code implementations • 18 Jan 2023 • Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
Our baseline is a QBF encoding with explicit variables for board positions and an explicit representation of winning configurations.
1 code implementation • 11 May 2020 • Valentin Mayer-Eichberger, Abdallah Saffidine
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations.
no code implementations • 5 May 2020 • Ignasi Abío, Valentin Mayer-Eichberger, Peter Stuckey
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications.
no code implementations • 23 Jan 2014 • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell, Valentin Mayer-Eichberger
Some of these encodings first construct a Binary Decision Diagram (BDD) for the constraint, and then encode the BDD into a propositional formula.