research
∙
07/17/2023
Combinatorial Methods in Grid based Meshing
This paper describes a novel method of generating hex-dominant meshes us...
share
research
∙
01/18/2023
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
We address two bottlenecks for concise QBF encodings of maker-breaker po...
research
∙
05/11/2020
Positional Games and QBF: The Corrective Encoding
Positional games are a mathematical class of two-player games comprising...
research
∙
05/05/2020
Encoding Linear Constraints into SAT
Linear integer constraints are one of the most important constraints in ...
research
∙
01/23/2014