Autor der Publikation

B-cubing theory: new possibilities for efficient SAT-solving.

, , und . HLDVT, Seite 192-199. IEEE Computer Society, (2005)

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

PVCoherence: Designing flat coherence protocols for scalable verification., , , und . HPCA, Seite 392-403. IEEE Computer Society, (2014)PVCoherence: Designing Flat Coherence Protocols for Scalable Verification., , , und . IEEE Micro, 35 (3): 84-91 (2015)Industrial strength refinement checking., , , und . FMCAD, Seite 180-183. IEEE, (2009)Automatic Non-Interference Lemmas for Parameterized Model Checking.. FMCAD, Seite 1-8. IEEE, (2008)B-cubing theory: new possibilities for efficient SAT-solving., , und . HLDVT, Seite 192-199. IEEE Computer Society, (2005)Distributed Explicit State Model Checking of Deadlock Freedom., , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 235-241. Springer, (2013)A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs., und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 207-221. Springer, (2006)Efficient SAT solving: beyond supercubes., , und . DAC, Seite 744-749. ACM, (2005)A New Approach to Upward-Closed Set Backward Reachability Analysis.. Electr. Notes Theor. Comput. Sci., 138 (3): 37-48 (2005)Hybrid one-dimensional reversible cellular automata are regular., und . Discrete Applied Mathematics, 155 (18): 2555-2566 (2007)