TDG Scholar TDGScholar Committed to research! Version 1.7
Home | Bibliography | Writers | Journals | Conferences | Publishers Help | News

Bibliography

| Report | Share
More than 125 records were found in 0.547 seconds
Fetch | Report | Google
Solution Validation and Extraction for QBF Preprocessing
Marijn J. H. Heule, Martina Seidl, Armin Biere
J. Autom. Reasoning, 58(1):97-125, 2017
Fetch | Report | Google
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere
LPAR, 31-48, 2017
Fetch | Report | Google
Short Proofs Without New Variables
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
CADE, 130-147, 2017
Fetch | Report | Google
Column-wise verification of multipliers using computer algebra
Daniela Ritirc, Armin Biere, Manuel Kauers
FMCAD, 23-30, 2017
Fetch | Report | Google
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
IJCAI, 4884-4888, 2017
Fetch | Report | Google
SAT Race 2015
Tomas Balyo, Armin Biere, Markus Iser, Carsten Sinz
Artif. Intell., 24145-65, 2016
Fetch | Report | Google
A Duality-Aware Calculus for Quantified Boolean Formulas
Katalin Fazekas, Martina Seidl, Armin Biere
SYNASC, 181-186, 2016
Fetch | Report | Google
Super-Blocked Clauses
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
IJCAR, 45-61, 2016
Fetch | Report | Google
Complexity of Fixed-Size Bit-Vector Logics
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Theory Comput. Syst., 59(2):323-376, 2016
Fetch | Report | Google
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
Aina Niemetz, Mathias Preiner, Armin Biere
CAV (1), 199-217, 2016
Fetch | Report | Google
Home Page
Armin Biere
2016
Fetch | Report | Google
Blocked Literals Are Universal
Marijn Heule, Martina Seidl, Armin Biere
NFM, 436-442, 2015
Fetch | Report | Google
Stochastic Local Search for Satisfiability Modulo Theories
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
AAAI, 1136-1143, 2015
Fetch | Report | Google
Optimization of Combinatorial Testing by Incremental SAT Solving
Akihisa Yamada 0002, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
ICST, 1-10, 2015
Fetch | Report | Google
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)
Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams 0001
Dagstuhl Reports, 5(4):98-122, 2015
Fetch | Report | Google
Clause Elimination for SAT and QSAT
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere
J. Artif. Intell. Res. (JAIR), 53127-168, 2015
Report | Google
Better Lemmas with Lambda Extraction
Mathias Preiner, Aina Niemetz, Armin Biere
FMCAD, 128-135, 2015
Fetch | Report | Google
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl
LPAR, 418-433, 2015
Fetch | Report | Google
Compositional Propositional Proofs
Marijn J. H. Heule, Armin Biere
LPAR, 444-459, 2015
Fetch | Report | Google
Evaluating CDCL Variable Scoring Schemes
Armin Biere, Andreas Fröhlich
SAT, 405-422, 2015
Fetch | Report | Google
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
MFCS (2), 481-492, 2014
Fetch | Report | Google
Experimenting with SAT Solvers in Vampire
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov
MICAI (1), 431-442, 2014
Fetch | Report | Google
Efficient extraction of Skolem functions from QRAT proofs
Marijn Heule, Martina Seidl, Armin Biere
FMCAD, 107-114, 2014
Fetch | Report | Google
Challenges in bit-precise reasoning
Armin Biere
FMCAD, 3, 2014
Fetch | Report | Google
Turbo-charging Lemmas on demand with don't care reasoning
Aina Niemetz, Mathias Preiner, Armin Biere
FMCAD, 179-186, 2014
Fetch | Report | Google
SAT solving experiments in Vampire
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov
Vampire Workshop, 29-32, 2014
Fetch | Report | Google
Améliorer SAT dans le cadre incrémental
Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon
Revue d'Intelligence Artificielle, 28(5):593-614, 2014
Fetch | Report | Google
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning
SAT, 302-316, 2014
Fetch | Report | Google
Detecting Cardinality Constraints in CNF
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
SAT, 285-301, 2014
Fetch | Report | Google
iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
POS@SAT, 103-116, 2014
Fetch | Report | Google
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
Tomas Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere
SAT, 317-332, 2014
Fetch | Report | Google
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling
Armin Biere
POS@SAT, 88, 2014
Fetch | Report | Google
A Unified Proof System for QBF Preprocessing
Marijn Heule, Martina Seidl, Armin Biere
IJCAR, 91-106, 2014
Fetch | Report | Google
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Armin Biere, Roderick Bloem
ISBN: 978-3-319-08866-28559, 2014
Fetch | Report | Google
Concurrent Cube-and-Conquer
Peter van der Tak, Marijn Heule, Armin Biere
CoRR, abs/1402.4465, 2014
Fetch | Report | Google
Lemmas on Demand for Lambdas
Mathias Preiner, Aina Niemetz, Armin Biere
DIFTS@FMCAD, 2013
Fetch | Report | Google
The Auspicious Couple: Symbolic Execution and WCET Analysis
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
WCET, 53-63, 2013
Fetch | Report | Google
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere, Amir Nahir, Tanja E. J. Vos
ISBN: 978-3-642-39610-67857, 2013
Fetch | Report | Google
SmacC: A Retargetable Symbolic Execution Engine
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
ATVA, 482-486, 2013
Fetch | Report | Google
Modbat: A Model-Based API Tester for Event-Driven Systems
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
Haifa Verification Conference, 112-128, 2013
Fetch | Report | Google
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
CSR, 378-390, 2013
Fetch | Report | Google
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
CADE, 443-449, 2013
Fetch | Report | Google
Factoring Out Assumptions to Speed Up MUS Extraction
Jean-Marie Lagniez, Armin Biere
SAT, 276-292, 2013
Fetch | Report | Google
Model-Based Testing for Verification Back-Ends
Cyrille Artho, Armin Biere, Martina Seidl
TAP, 39-55, 2013
Fetch | Report | Google
Bridging the gap between dual propagation and CNF-based QBF solving
Alexandra Goultiaeva, Martina Seidl, Armin Biere
DATE, 811-814, 2013
Fetch | Report | Google
Revisiting Hyper Binary Resolution
Marijn Heule, Matti Järvisalo, Armin Biere
CPAIOR, 77-93, 2013
Fetch | Report | Google
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
Martin Aigner 0003, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner
POS@SAT, 28-40, 2013
Fetch | Report | Google
Blocked Clause Decomposition
Marijn Heule, Armin Biere
LPAR, 423-438, 2013
Fetch | Report | Google
A comparison of strategies for tolerating inconsistencies during decision-making
Alexander Nöhrer, Armin Biere, Alexander Egyed
SPLC (1), 11-20, 2012
Fetch | Report | Google
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe
873, 2012
Fetch | Report | Google
Simulating Circuit-Level Simplifications on CNF
Matti Järvisalo, Armin Biere, Marijn Heule
J. Autom. Reasoning, 49(4):583-619, 2012
Fetch | Report | Google
Guided Merging of Sequence Diagrams
Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
SLE, 164-183, 2012
Fetch | Report | Google
Automated Reencoding of Boolean Formulas
Norbert Manthey, Marijn Heule, Armin Biere
Haifa Verification Conference, 102-117, 2012
Fetch | Report | Google
qbf2epr: A Tool for Generating EPR Formulas from QBF
Martina Seidl, Florian Lonsing, Armin Biere
PAAR@IJCAR, 139-148, 2012
Fetch | Report | Google
Practical Aspects of SAT Solving
Armin Biere
SMT@IJCAR, 1, 2012
Fetch | Report | Google
Practical Aspects of SAT Solving
Armin Biere
PAAR@IJCAR, 1, 2012
Fetch | Report | Google
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
SMT@IJCAR, 44-56, 2012
Fetch | Report | Google
Managing SAT inconsistencies with HUMUS
Alexander Nöhrer, Armin Biere, Alexander Egyed
VaMoS, 83-91, 2012
Fetch | Report | Google
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011
Malay K. Ganai, Armin Biere
832, 2012
Fetch | Report | Google
Inprocessing Rules
Matti Järvisalo, Marijn Heule, Armin Biere
IJCAR, 355-370, 2012
Fetch | Report | Google
Concurrent Cube-and-Conquer - (Poster Presentation)
Peter van der Tak, Marijn Heule, Armin Biere
SAT, 475-476, 2012
Fetch | Report | Google
Resolution-Based Certificate Extraction for QBF - (Tool Presentation)
Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere
SAT, 430-435, 2012
Fetch | Report | Google
Failed Literal Detection for QBF
Florian Lonsing, Armin Biere
SAT, 259-272, 2011
Fetch | Report | Google
Preface
Armin Biere, Karen Yorav
Formal Methods in System Design, 39(2):115-116, 2011
Fetch | Report | Google
Blocked Clause Elimination for QBF
Armin Biere, Florian Lonsing, Martina Seidl
CADE, 101-115, 2011
Fetch | Report | Google
Efficient CNF Simplification Based on Binary Implication Graphs
Marijn Heule, Matti Järvisalo, Armin Biere
SAT, 201-215, 2011
Fetch | Report | Google
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere
Haifa Verification Conference, 50-65, 2011
Fetch | Report | Google
Preprocessing and Inprocessing Techniques in SAT
Armin Biere
Haifa Verification Conference, 1, 2011
Fetch | Report | Google
Covered Clause Elimination
Marijn Heule, Matti Järvisalo, Armin Biere
LPAR short papers(Yogyakarta), 41-46, 2010
Fetch | Report | Google
DepQBF: A Dependency-Aware QBF Solver
Florian Lonsing, Armin Biere
JSAT, 7(2-3):71-76, 2010
Fetch | Report | Google
Blocked Clause Elimination
Matti Järvisalo, Armin Biere, Marijn Heule
TACAS, 129-144, 2010
Fetch | Report | Google
Automated Testing and Debugging of SAT and QBF Solvers
Robert Brummayer, Florian Lonsing, Armin Biere
SAT, 44-57, 2010
Fetch | Report | Google
Clause Elimination Procedures for CNF Formulas
Marijn Heule, Matti Järvisalo, Armin Biere
LPAR (Yogyakarta), 357-371, 2010
Fetch | Report | Google
Reconstructing Solutions after Blocked Clause Elimination
Matti Järvisalo, Armin Biere
SAT, 340-345, 2010
Fetch | Report | Google
Integrating Dependency Schemes in Search-Based QBF Solvers
Florian Lonsing, Armin Biere
SAT, 158-171, 2010
Fetch | Report | Google
Covered Clause Elimination
Marijn Heule, Matti Järvisalo, Armin Biere
CoRR, abs/1011.5202, 2010
Fetch | Report | Google
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
Florian Lonsing, Armin Biere
Electr. Notes Theor. Comput. Sci., 25183-95, 2009
Fetch | Report | Google
Lemmas on Demand for the Extensional Theory of Arrays
Robert Brummayer, Armin Biere
JSAT, 6(1-3):165-201, 2009
Fetch | Report | Google
Effective Bit-Width and Under-Approximation
Robert Brummayer, Armin Biere
EUROCAST, 304-311, 2009
Fetch | Report | Google
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Robert Brummayer, Armin Biere
TACAS, 174-177, 2009
Fetch | Report | Google
Minimizing Learned Clauses
Niklas Sörensson, Armin Biere
SAT, 237-243, 2009
Fetch | Report | Google
A Compact Representation for Syntactic Dependencies in QBFs
Florian Lonsing, Armin Biere
SAT, 398-411, 2009
Fetch | Report | Google
Bounded Model Checking
Armin Biere
Handbook of Satisfiability, 457-481, 2009
Fetch | Report | Google
SAT, SMT and Applications
Armin Biere
LPNMR, 1, 2009
Report | Google
Handbook of Satisfiability
Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
ISBN: 978-1-58603-929-5185, 2009
Fetch | Report | Google
Adaptive Restart Strategies for Conflict Driven SAT Solvers
Armin Biere
SAT, 28-33, 2008
Fetch | Report | Google
Nenofex: Expanding NNF for QBF Solving
Florian Lonsing, Armin Biere
SAT, 196-210, 2008
Fetch | Report | Google
PicoSAT Essentials
Armin Biere
JSAT, 4(2-4):75-97, 2008
Fetch | Report | Google
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver
Armin Biere, Robert Brummayer
FMCAD, 1-4, 2008
Fetch | Report | Google
Tutorial on Model Checking: Modelling and Verification in Computer Science
Armin Biere
AB, 16-21, 2008
Fetch | Report | Google
A First Step Towards a Unified Proof Checker for QBF
Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
SAT, 201-214, 2007
Fetch | Report | Google
C32SAT: Checking C Expressions
Robert Brummayer, Armin Biere
CAV, 294-297, 2007
Fetch | Report | Google
Efficient Model Checking of Applications with Input/Output
Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
EUROCAST, 515-522, 2007
Fetch | Report | Google
Preface
Ofer Strichman, Armin Biere
Electr. Notes Theor. Comput. Sci., 174(3):1-2, 2007
Fetch | Report | Google
Compressing BMC Encodings with QBF
Toni Jussila, Armin Biere
Electr. Notes Theor. Comput. Sci., 174(3):45-56, 2007
Fetch | Report | Google
Liveness Checking as Safety Checking for Infinite State Spaces
Viktor Schuppan, Armin Biere
Electr. Notes Theor. Comput. Sci., 149(1):79-96, 2006
Fetch | Report | Google
Preface
Armin Biere, Ofer Strichman
Electr. Notes Theor. Comput. Sci., 144(1):1-, 2006
Fetch | Report | Google
Extended Resolution Proofs for Conjoining BDDs
Carsten Sinz, Armin Biere
CSR, 600-611, 2006
Fetch | Report | Google
Linear Encodings of Bounded LTL Model Checking
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
CoRR, abs/cs/0611029, 2006
Fetch | Report | Google
Decomposing SAT Problems into Connected Components
Armin Biere, Carsten Sinz
JSAT, 2(1-4):201-208, 2006
Fetch | Report | Google
Linear Encodings of Bounded LTL Model Checking
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Logical Methods in Computer Science, 2(5), 2006
Fetch | Report | Google
Advanced Unit Testing: How to Scale up a Unit Test Framework
Cyrille Artho, Armin Biere
AST, 92-98, 2006
Fetch | Report | Google
Exhaustive Testing of Exception Handlers with Enforcer
Cyrille Artho, Armin Biere, Shinichi Honiden
FMCO, 26-46, 2006
Fetch | Report | Google
Enforcer - Efficient Failure Injection
Cyrille Artho, Armin Biere, Shinichi Honiden
FM, 412-427, 2006
Fetch | Report | Google
Extended Resolution Proofs for Symbolic SAT Solving with Quantification
Toni Jussila, Carsten Sinz, Armin Biere
SAT, 54-60, 2006
Fetch | Report | Google
Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Armin Biere, Carla P. Gomes
ISBN: 3-540-37206-74121, 2006
Fetch | Report | Google
Effective Preprocessing in SAT Through Variable and Clause Elimination
Niklas Eén, Armin Biere
SAT, 61-75, 2005
Fetch | Report | Google
SDL Versus C Equivalence Checking
Malek Haroud, Armin Biere
SDL Forum, 323-338, 2005
Fetch | Report | Google
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Viktor Schuppan, Armin Biere
TACAS, 493-509, 2005
Fetch | Report | Google
Simple Is Better: Efficient Bounded Model Checking for Past LTL
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
VMCAI, 380-395, 2005
Fetch | Report | Google
Introductory paper
Armin Biere, Ofer Strichman
STTT, 7(2):87-88, 2005
Fetch | Report | Google
A survey of recent advances in SAT-based formal verification
Mukul R. Prasad, Armin Biere, Aarti Gupta
STTT, 7(2):156-173, 2005
Fetch | Report | Google
Preface
Armin Biere, Ofer Strichman
Electr. Notes Theor. Comput. Sci., 119(2):1-, 2005
Fetch | Report | Google
Combined Static and Dynamic Analysis
Cyrille Artho, Armin Biere
Electr. Notes Theor. Comput. Sci., 1313-14, 2005
Fetch | Report | Google
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
Cyrille Artho, Armin Biere
Electr. Notes Theor. Comput. Sci., 141(1):109-128, 2005
Fetch | Report | Google
JVM Independent Replay in Java
Viktor Schuppan, Marcel Baur, Armin Biere
Electr. Notes Theor. Comput. Sci., 11385-104, 2005
Fetch | Report | Google
JNuke: Efficient Dynamic Analysis for Java
Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
CAV, 462-465, 2004
Fetch | Report | Google
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Cyrille Artho, Klaus Havelund, Armin Biere
ATVA, 150-164, 2004
Fetch | Report | Google
Efficient reduction of finite state model checking to reachability analysis
Viktor Schuppan, Armin Biere
STTT, 5(2-3):185-204, 2004
Fetch | Report | Google
Simple Bounded LTL Model Checking
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
FMCAD, 186-200, 2004
Fetch | Report | Google
Resolve and Expand
Armin Biere
SAT, 2004
Fetch | Report | Google
Resolve and Expand
Armin Biere
SAT (Selected Papers, 59-70, 2004
Fetch | Report | Google
Preface
Ofer Strichman, Armin Biere
Electr. Notes Theor. Comput. Sci., 89(4):541-542, 2003
Fetch | Report | Google
High-level data races
Cyrille Artho, Klaus Havelund, Armin Biere
Softw. Test., Verif. Reliab., 13(4):207-227, 2003
Report | Google
High-Level Data Races
Cyrille Artho, Klaus Havelund, Armin Biere
NDDL/VVEIS, 82-93, 2003
Fetch | Report | Google
Bounded model checking
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu
Advances in Computers, 58117-148, 2003
Copyright © 2008–2018 The Distributed Group | Thanks to DBLP, MSAA, PN I+D+I, and CICE