E-LIB Suche - Ergebnisse für: Mayer-Eichberger, Valentin - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Implicit QBF Encodings for Positional Games:

, In: Lecture Notes in Computer Science; Advances in Computer Games,

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco. - p. 133-145 , 2024

Link: https://doi.org/10.1007/..

2

Combinatorial Methods in Grid Based Meshing:

, In: Lecture Notes in Computational Science and Engineering; SIAM International Meshing Roundtable 2023,

Stromberg, Henrik ; Mayer-Eichberger, Valentin ; Lohrengel, Armin - p. 253-269 , 2024

Link: https://doi.org/10.1007/..

3

Positional Games and QBF: The Corrective Encoding:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,

Mayer-Eichberger, Valentin ; Saffidine, Abdallah - p. 447-463 , 2020

Link: https://doi.org/10.1007/..

4

Implicit State and Goals in QBF Encodings for Positional Ga..:

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco.
http://arxiv.org/abs/2301.07345. , 2023

Link: http://arxiv.org/abs/230..

5

Implicit State and Goals in QBF Encodings for Positional Ga..:

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco.
https://pure.au.dk/portal/en/publications/1348d5e9-4140-4ede-bfbc-8ca754a9c129. , 2023

Link: https://pure.au.dk/porta..

6

Combinatorial Methods in Grid based Meshing:

Stromberg, Henrik ; Mayer-Eichberger, Valentin ; Lohrengel, Armin
http://arxiv.org/abs/2307.08825. , 2023

Link: http://arxiv.org/abs/230..

7

QBF Programming with the Modeling Language Bule:

Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah
doi:10.4230/LIPIcs.SAT.2022.31. , 2022

Link: https://doi.org/10.4230/..

8

Positional Games and QBF: A Polished Encoding:

Mayer-Eichberger, Valentin ; Saffidine, Abdallah
http://arxiv.org/abs/2005.05098. , 2020

Link: http://arxiv.org/abs/200..

9

Encoding Linear Constraints into SAT:

Abío, Ignasi ; Mayer-Eichberger, Valentin ; Stuckey, Peter
http://arxiv.org/abs/2005.02073. , 2020

Link: http://arxiv.org/abs/200..

10

SAT and Hybrid Models of the Car Sequencing Problem:

Artigues, Christian ; Hébrard, Emmanuel ; Mayer-Eichberger, Valentin..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-07046-9_19. , 2014

Link: https://hal.science/hal-..

11

SAT and Hybrid Models of the Car Sequencing Problem:

Artigues, Christian ; Hébrard, Emmanuel ; Mayer-Eichberger, Valentin..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-07046-9_19. , 2014

Link: https://hal.archives-ouv..

12

SAT and Hybrid Models of the Car Sequencing Problem:

Artigues, Christian ; Hébrard, Emmanuel ; Mayer-Eichberger, Valentin..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-07046-9_19. , 2014

Link: https://hal.science/hal-..

13

A New Look at BDDs for Pseudo-Boolean Constraints:

Abío, Ignasi ; Nieuwenhuis, Robert ; Oliveras, Albert..
http://arxiv.org/abs/1401.5860. , 2014

Link: http://arxiv.org/abs/140..

14

SAT and Hybrid models of the Car-Sequencing problem:

Artigues, Christian ; Hébrard, Emmanuel ; Mayer-Eichberger, Valentin..
hal-00871729. , 2013

Link: https://hal.archives-ouv..

15

SAT and Hybrid models of the Car-Sequencing problem:

Artigues, Christian ; Hébrard, Emmanuel ; Mayer-Eichberger, Valentin..
hal-00871729. , 2013

Link: https://hal.science/hal-..

1-15