( en | de | ru )

 

Disambiguation of "Biere, Armin"

Author of the publication

copydeleteadd this publication to your clipboard
Resolution-Based Certificate Extraction for QBF - (Tool Presentation).

, , , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 430-435. Springer, (2012)

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

Propagation based local search for bit-precise reasoning., , and . 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., , , and . Formal Methods Syst. Des., 20 (2): 159-186 (2002)A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas., , and . FTSCS, volume 1165 of Communications in Computer and Information Science, page 127-132. Springer, (2019)A comparison of strategies for tolerating inconsistencies during decision-making., , and . SPLC (1), page 11-20. ACM, (2012)Truth Assignments as Conditional Autarkies., , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 48-64. Springer, (2019)An Abstract Dual Propositional Model Counter., , and . YSIP, volume 1837 of CEUR Workshop Proceedings, page 17-26. CEUR-WS.org, (2017)Challenges in bit-precise reasoning.. FMCAD, page 3. IEEE, (2014)Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories., , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 134-151. Springer, (2018)QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers., , and . PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Lemmas on Demand for Lambdas., , and . DIFTS@FMCAD, volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)