دنبال کردن
Armin Biere
Armin Biere
Professor of Computer Science, University of Freiburg
ایمیل تأیید شده در informatik.uni-freiburg.de - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
35141999
Handbook of satisfiability‏
A Biere, M Heule, H van Maaren, T Walsh‏
IOS press, 2009‏
29372009
Bounded model checking‏
A Biere‏
handbook of Satisfiability, 739-764, 2021‏
17512021
Bounded model checking using satisfiability solving‏
E Clarke, A Biere, R Raimi, Y Zhu‏
Formal methods in system design 19, 7-34, 2001‏
11402001
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‏
10851999
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‏
5722009
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020‏
A Biere, K Fazekas, M Fleury, M Heisinger‏
SAT COMPETITION 50, 2020, 2020‏
4342020
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‏
4252005
Resolve and expand‏
A Biere‏
International conference on theory and applications of satisfiability …, 2004‏
3742004
Lingeling, plingeling and treengeling entering the sat competition 2013‏
A Biere‏
Proceedings of SAT competition 2013, 1, 2013‏
3022013
Inprocessing rules‏
M Järvisalo, MJH Heule, A Biere‏
International Joint Conference on Automated Reasoning, 355-370, 2012‏
2952012
High‐level data races‏
C Artho, K Havelund, A Biere‏
Software Testing, Verification and Reliability 13 (4), 207-227, 2003‏
2652003
Linear encodings of bounded LTL model checking‏
A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan‏
Logical Methods in Computer Science 2, 2006‏
2532006
Cube and conquer: Guiding CDCL SAT solvers by lookaheads‏
MJH Heule, O Kullmann, S Wieringa, A Biere‏
Haifa Verification Conference, 50-65, 2011‏
2422011
Liveness checking as safety checking‏
A Biere, C Artho, V Schuppan‏
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002‏
2422002
Lingeling, plingeling, picosat and precosat at sat race 2010‏
A Biere‏
2382010
Boolector 2.0‏
A Niemetz, M Preiner, A Biere‏
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014‏
2362014
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‏
2251999
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20