Autor der Publikation

Searching for Autarkies to Trim Unsatisfiable Clause Sets.

, und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 182-195. Springer, (2008)

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

Analysis and Design of Latch-Controlled Synchronous Digital Circuits., , und . DAC, Seite 111-117. IEEE Computer Society Press, (1990)The Aurora RAM Compiler., , , , und . DAC, Seite 261-266. ACM Press, (1995)Critical paths in circuits with level-sensitive latches., , und . IEEE Trans. Very Large Scale Integr. Syst., 3 (2): 273-291 (1995)A first-order charge conserving MOS capacitance model., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 99-108 (1990)Satisfiability models and algorithms for circuit delay computation., , , und . ACM Trans. Design Autom. Electr. Syst., 7 (1): 137-158 (2002)euforia: Complete Software Model Checking with Uninterpreted Functions., und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 363-385. Springer, (2019)Efficient Symmetry Breaking for Boolean Satisfiability., , und . IJCAI, Seite 271-276. Morgan Kaufmann, (2003)Identifying Conflicts in Overconstrained Temporal Problems., , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)Empirical Study of the Anatomy of Modern Sat Solvers., , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 343-356. Springer, (2011)Incorporating user control in automated interactive scheduling systems., , , , und . Conference on Designing Interactive Systems, Seite 306-309. ACM, (2010)