( en | de | ru )

 

Disambiguation of "Biere, Armin"

Author of the publication

copydeleteadd this publication to your clipboard
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.

, , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 60-71. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Armin Biere

David Biere

Robert Armin

Gerhard Arminger

Peter Armin

 

Other publications of authors with the same name

A comparison of strategies for tolerating inconsistencies during decision-making., , and . SPLC (1), page 11-20. ACM, (2012)Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 60-71. Springer, (1999)Nenofex: Expanding NNF for QBF Solving., and . SAT, volume 4996 of Lecture Notes in Computer Science, page 196-210. Springer, (2008)Evaluating CDCL Variable Scoring Schemes., and . SAT, volume 9340 of Lecture Notes in Computer Science, page 405-422. Springer, (2015)Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 317-332. Springer, (2014)Failed Literal Detection for QBF., and . SAT, volume 6695 of Lecture Notes in Computer Science, page 259-272. Springer, (2011)Tutorial on Model Checking: Modelling and Verification in Computer Science.. AB, volume 5147 of Lecture Notes in Computer Science, page 16-21. Springer, (2008)SDL Versus C Equivalence Checking., and . SDL Forum, volume 3530 of Lecture Notes in Computer Science, page 323-338. Springer, (2005)Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)., , , , and . Dagstuhl Reports, 12 (10): 84-105 (October 2022)Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra., and . Int. J. Softw. Tools Technol. Transf., 25 (2): 133-144 (April 2023)