62 citations · 65 across the 4 of their papers we have counts for
4 papers
Combinatorial Methods in Grid based Meshing
Henrik Stromberg, Valentin Mayer-Eichberger, Armin Lohrengel
This paper describes a novel method of generating hex-dominant meshes using pre-computed optimal subdivisions of the unit cube in a grid-based approach. Our method addresses geomet…
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol +1
We address two bottlenecks for concise QBF encodings of maker-breaker positional games, like Hex and Tic-Tac-Toe. Our baseline is a QBF encoding with explicit variables for board p…
Positional Games and QBF: A Polished Encoding
Valentin Mayer-Eichberger, Abdallah Saffidine
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean For…
A New Look at BDDs for Pseudo-Boolean Constraints
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras +2
Pseudo-Boolean constraints are omnipresent in practical applications, and thus a significant effort has been devoted to the development of good SAT encoding techniques for them. So…