Autor der Publikation

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)

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

Symmetries of Symmetry Breaking Constraints, und . CoRR, (2009)An Empirical Study of Borda Manipulation, , , und . CoRR, (2010)Multi-language evaluation of exact solvers in graphical model discrete optimization., , , , , , und . Constraints, 21 (3): 413-434 (2016)The weighted Grammar constraint., , und . Annals OR, 184 (1): 179-207 (2011)The Balance Constraint Family., , , , , , und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 174-189. Springer, (2014)Computational Protein Design as a Cost Function Network Optimization Problem., , , , , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 840-849. Springer, (2012)GAC on Conjunctions of Constraints., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 610-614. Springer, (2001)New Approaches to Constraint Acquisition., , , , , , , , und . Data Mining and Constraint Programming, Volume 10101 von Lecture Notes in Computer Science, Springer, (2016)Ranking Constraints., , , , und . IJCAI, Seite 705-711. IJCAI/AAAI Press, (2016)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , und . AAAI, AAAI Press, (2013)