Armin Biere
Titel
Zitiert von
Zitiert von
Jahr
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
International conference on tools and algorithms for the construction and …, 1999
28041999
Handbook of satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185
A Biere, M Heule, H van Maaren, T Walsh
ios Press, 2009
1819*2009
Bounded model checking
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Carnegie Mellon University, 2003
10172003
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999
9321999
Bounded model checking using satisfiability solving
E Clarke, A Biere, R Raimi, Y Zhu
Formal methods in system design 19 (1), 7-34, 2001
8272001
Effective preprocessing in SAT through variable and clause elimination
N Eén, A Biere
International conference on theory and applications of satisfiability …, 2005
7662005
PicoSAT essentials
A Biere
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008
5312008
Boolector: An efficient SMT solver for bit-vectors and arrays
R Brummayer, A Biere
International Conference on Tools and Algorithms for the Construction and …, 2009
4172009
A survey of recent advances in SAT-based formal verification
MR Prasad, A Biere, A Gupta
International Journal on Software Tools for Technology Transfer 7 (2), 156-173, 2005
3442005
Resolve and expand
A Biere
International conference on theory and applications of satisfiability …, 2004
3312004
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2372003
Lingeling, Plingeling and Treengeling entering the SAT competition 2013
A Biere
Proceedings of SAT competition 2013, 1, 2013
2302013
Bounded Model Checking.
A Biere
Handbook of satisfiability 185, 457-481, 2009
2282009
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs
A Biere, E Clarke, R Raimi, Y Zhu
International Conference on Computer Aided Verification, 60-71, 1999
1951999
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
1832002
Lingeling, plingeling, picosat and precosat at sat race 2010
A Biere
FMV Report Series Technical Report 10 (1), 2010
1822010
Linear encodings of bounded LTL model checking
A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan
arXiv preprint cs/0611029, 2006
1772006
Inprocessing rules
M Järvisalo, MJH Heule, A Biere
International Joint Conference on Automated Reasoning, 355-370, 2012
1712012
DepQBF: A dependency-aware QBF solver
F Lonsing, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 71-76, 2010
1542010
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
1352011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20