Autor der Publikation

New Approaches to Constraint Acquisition.

, , , , , , , , und . Data Mining and Constraint Programming, Volume 10101 von Lecture Notes in Computer Science, Springer, (2016)

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

Computational protein design as an optimization problem., , , , , , , , , und . Artif. Intell., (2014)Guaranteed Diversity & Quality for the Weighted CSP., , , , , und . ICTAI, Seite 18-25. IEEE, (2019)Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation)., und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 496-497. Springer, (2012)Symmetries of Symmetry Breaking Constraints., und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 861-866. IOS Press, (2010)Virtual Pairwise Consistency in Cost Function Networks., , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 417-426. Springer, (2023)Reasoning about Connectivity Constraints., , , und . IJCAI, Seite 2568-2574. AAAI Press, (2015)Finding a Collection of MUSes Incrementally., und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 35-44. Springer, (2016)A Hybrid Approach for Exact Coloring of Massive Graphs., und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 374-390. Springer, (2019)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , und . AAAI, Seite 481-488. AAAI Press, (2013)Nogood Processing in CSPs.. University of Toronto, Canada, (2009)