Sledovat
Armin Biere
Armin Biere
Professor of Computer Science, University of Freiburg
E-mailová adresa ověřena na: informatik.uni-freiburg.de - Domovská stránka
Název
Citace
Citace
Rok
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999
35111999
Handbook of satisfiability
A Biere, M Heule, H van Maaren, T Walsh
IOS press, 2009
29522009
Bounded model checking
A Biere
handbook of Satisfiability, 739-764, 2021
17582021
Bounded model checking using satisfiability solving
E Clarke, A Biere, R Raimi, Y Zhu
Formal methods in system design 19, 7-34, 2001
11392001
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
10831999
Effective preprocessing in SAT through variable and clause elimination
N Eén, A Biere
International conference on theory and applications of satisfiability …, 2005
9622005
PicoSAT essentials
A Biere
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008
7022008
Boolector: An efficient SMT solver for bit-vectors and arrays
R Brummayer, A Biere
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
5692009
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020
A Biere, K Fazekas, M Fleury, M Heisinger
SAT COMPETITION 50, 2020, 2020
4332020
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, 156-173, 2005
4222005
Resolve and expand
A Biere
International conference on theory and applications of satisfiability …, 2004
3762004
Lingeling, Plingeling and Treengeling entering the SAT competition 2013
A Biere
Proceedings of SAT competition 2013, 1, 2013
3052013
Inprocessing rules
M Järvisalo, MJH Heule, A Biere
International Joint Conference on Automated Reasoning, 355-370, 2012
2992012
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2632003
Linear encodings of bounded LTL model checking
A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan
Logical Methods in Computer Science 2, 2006
2492006
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
2452002
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
2412011
Boolector 2.0
A Niemetz, M Preiner, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014
2382014
Lingeling, plingeling, picosat and precosat at sat race 2010
A Biere
2362010
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs
A Biere, E Clarke, R Raimi, Y Zhu
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
2261999
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20