( en | de | ru )

 

Disambiguation of "Mayer-Eichberger, Valentin"

Author of the publication

copydeleteadd this publication to your clipboard
Encoding Linear Constraints with Implication Chains to CNF.

, , and . CP, volume 9255 of Lecture Notes in Computer Science, page 3-11. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dieter Mayer-Eichberger

Valentin Mayer

Katharina Mayer-Eichberger

Sabine Mayer-Eichberger

Valentin Daniel Mayer

 

Other publications of authors with the same name

Positional Games and QBF: The Corrective Encoding., and . SAT, volume 12178 of Lecture Notes in Computer Science, page 447-463. Springer, (2020)Implicit QBF Encodings for Positional Games., , , and . ACG, volume 14528 of Lecture Notes in Computer Science, page 133-145. Springer, (2023)Modelling Satisfiability Problems: Theory and Practice.. IJCAI, page 4012-4013. IJCAI/AAAI Press, (2016)Encoding Linear Constraints with Implication Chains to CNF., , and . CP, volume 9255 of Lecture Notes in Computer Science, page 3-11. Springer, (2015)A New Look at BDDs for Pseudo-Boolean Constraints., , , , and . J. Artif. Intell. Res., (2012)Combinatorial Methods in Grid based Meshing., , and . CoRR, (2023)A New Look at BDDs for Pseudo-Boolean Constraints., , , , and . CoRR, (2014)Encoding Linear Constraints into SAT., , and . CoRR, (2020)Implicit State and Goals in QBF Encodings for Positional Games (extended version)., , , and . CoRR, (2023)SAT Encodings for the Car Sequencing Problem., and . POS@SAT, volume 29 of EPiC Series in Computing, page 15-27. EasyChair, (2013)