( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , и . DAC, стр. 317-320. ACM Press, (1999)

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.

Armin Biere

David Biere

Robert Armin

Gerhard Arminger

Peter Armin

 

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

SDL Versus C Equivalence Checking., и . SDL Forum, том 3530 из Lecture Notes in Computer Science, стр. 323-338. Springer, (2005)Tutorial on Model Checking: Modelling and Verification in Computer Science.. AB, том 5147 из Lecture Notes in Computer Science, стр. 16-21. Springer, (2008)Nenofex: Expanding NNF for QBF Solving., и . SAT, том 4996 из Lecture Notes in Computer Science, стр. 196-210. Springer, (2008)Evaluating CDCL Variable Scoring Schemes., и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 405-422. Springer, (2015)Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2014)Failed Literal Detection for QBF., и . SAT, том 6695 из Lecture Notes in Computer Science, стр. 259-272. Springer, (2011)Challenges in bit-precise reasoning.. FMCAD, стр. 3. IEEE, (2014)Propagation based local search for bit-precise reasoning., , и . Formal Methods Syst. Des., 51 (3): 608-636 (2017)Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function., , , и . Formal Methods Syst. Des., 20 (2): 159-186 (2002)A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas., , и . FTSCS, том 1165 из Communications in Computer and Information Science, стр. 127-132. Springer, (2019)