Picture for Valentin Mayer-Eichberger

Valentin Mayer-Eichberger

Implicit State and Goals in QBF Encodings for Positional Games

Add code
Jan 18, 2023
Viaarxiv icon

Positional Games and QBF: The Corrective Encoding

Add code
May 11, 2020
Figure 1 for Positional Games and QBF: The Corrective Encoding
Figure 2 for Positional Games and QBF: The Corrective Encoding
Figure 3 for Positional Games and QBF: The Corrective Encoding
Figure 4 for Positional Games and QBF: The Corrective Encoding
Viaarxiv icon

Encoding Linear Constraints into SAT

Add code
May 05, 2020
Figure 1 for Encoding Linear Constraints into SAT
Figure 2 for Encoding Linear Constraints into SAT
Figure 3 for Encoding Linear Constraints into SAT
Figure 4 for Encoding Linear Constraints into SAT
Viaarxiv icon

A New Look at BDDs for Pseudo-Boolean Constraints

Add code
Jan 23, 2014
Figure 1 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 2 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 3 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 4 for A New Look at BDDs for Pseudo-Boolean Constraints
Viaarxiv icon