Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Armin Biere
Blocked Clause Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas Into EPR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Unified Proof System for QBF Preprocessing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Extraction of Skolem Functions From QRAT Proofs
Shortest Counterexamples for Symbolic Model Checking of LTL With Past
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
JNuke: Efficient Dynamic Analysis for Java
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SAT, SMT and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
