( en | de | ru )

 

Disambiguierung von "Biere, Armin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Performance Study of BDD-Based Model Checking.

, , , , , , , und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 255-289. Springer, (1998)

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.

Armin Biere

David Biere

Robert Armin

Gerhard Arminger

Peter Armin

 

Weitere Publikationen von Autoren mit dem selben Namen

Propagation based local search for bit-precise reasoning., , und . 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., , , und . Formal Methods Syst. Des., 20 (2): 159-186 (2002)Introductory paper., und . Int. J. Softw. Tools Technol. Transf., 7 (2): 87-88 (2005)A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas., , und . FTSCS, Volume 1165 von Communications in Computer and Information Science, Seite 127-132. Springer, (2019)Challenges in bit-precise reasoning.. FMCAD, Seite 3. IEEE, (2014)Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs., , , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 60-71. Springer, (1999)Tutorial on Model Checking: Modelling and Verification in Computer Science.. AB, Volume 5147 von Lecture Notes in Computer Science, Seite 16-21. Springer, (2008)Nenofex: Expanding NNF for QBF Solving., und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 196-210. Springer, (2008)Evaluating CDCL Variable Scoring Schemes., und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 405-422. Springer, (2015)Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2014)