( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Refutations with Extended Resolution.

, , и . CADE, том 7898 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nathan ben-Nathan

Günter Wetzler

Christoph Wetzler

Gerhard Wetzler

Helmut Wetzler

 

Другие публикации лиц с тем же именем

Efficient, Verified Checking of Propositional Proofs., , , и . ITP, том 10499 из Lecture Notes in Computer Science, стр. 269-284. Springer, (2017)Trimming while checking clausal proofs., , и . FMCAD, стр. 181-188. IEEE, (2013)DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 422-429. Springer, (2014)Verifying Refutations with Extended Resolution., , и . CADE, том 7898 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2013)Mechanical Verification of SAT Refutations with Extended Resolution., , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 229-244. Springer, (2013)Expressing Symmetry Breaking in DRAT Proofs., , и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 591-606. Springer, (2015)Bridging the gap between easy generation and efficient verification of unsatisfiability proofs., , и . Softw. Test. Verification Reliab., 24 (8): 593-607 (2014)Partial words and the critical factorization theorem revisited., и . Theor. Comput. Sci., 385 (1-3): 179-192 (2007)