Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Encoding Quantified CSPs as Quantified Boolean Formulae., , und . ECAI, Seite 176-180. IOS Press, (2004)Local Search and the Number of Solutions., , , , , und . CP, Volume 1118 von Lecture Notes in Computer Science, Seite 119-133. Springer, (1996)Modelling Equidistant Frequency Permutation Arrays in Constraints., , , , und . SARA, AAAI, (2009)Generalized support and formal development of constraint propagators., , und . AI Commun., 30 (5): 325-346 (2017)Symmetry Breaking in Constraint Programming., und . ECAI, Seite 599-603. IOS Press, (2000)Explaining Pen and Paper Puzzles with MUSes?, , , , , und . SICSA XAI, Volume 2894 von CEUR Workshop Proceedings, Seite 56-63. CEUR-WS.org, (2021)Groups and Constraints: Symmetry Breaking during Search., , und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 415-430. Springer, (2002)Local Search on Random 2+p-SAT., , und . ECAI, Seite 113-117. IOS Press, (2000)Propagation in Constraints: How One Thing Leads to Another.. CPAIOR, Volume 6697 von Lecture Notes in Computer Science, Seite 2. Springer, (2011)Solving Computational Problems in the Theory of Word-Representable Graphs., , , und . J. Integer Seq., 22 (2): 19.2.5 (2019)