Autor der Publikation

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.

, , , , , , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 251-260. Springer, (2017)

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

Intersert: Assertions on Distributed Process Interaction Sessions., , , , , und . QRS, Seite 216-223. IEEE, (2017)SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers., , , , , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 62-70. Springer, (2015)A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers., , , , , , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 251-260. Springer, (2017)Impact of Community Structure on SAT Solver Performance., , , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 252-268. Springer, (2014)Code obfuscation against symbolic execution attacks., , , , und . ACSAC, Seite 189-200. ACM, (2016)Predicting SAT Solver Performance on Heterogeneous Hardware., , und . POS@SAT, Volume 59 von EPiC Series in Computing, Seite 18-33. EasyChair, (2018)