( en | de | ru )

 

Disambiguierung von "Wetzler, Nathan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanical Verification of SAT Refutations with Extended Resolution.

, , und . ITP, Volume 7998 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2013)

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.

Nathan ben-Nathan

Gerhard Wetzler

Günter Wetzler

Christoph Wetzler

Helmut Wetzler

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient, Verified Checking of Propositional Proofs., , , und . ITP, Volume 10499 von Lecture Notes in Computer Science, Seite 269-284. Springer, (2017)Mechanical Verification of SAT Refutations with Extended Resolution., , und . ITP, Volume 7998 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2013)Verifying Refutations with Extended Resolution., , und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 345-359. Springer, (2013)DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs., , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 422-429. Springer, (2014)Trimming while checking clausal proofs., , und . FMCAD, Seite 181-188. IEEE, (2013)Expressing Symmetry Breaking in DRAT Proofs., , und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 591-606. Springer, (2015)Bridging the gap between easy generation and efficient verification of unsatisfiability proofs., , und . Softw. Test. Verification Reliab., 24 (8): 593-607 (2014)