Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. L. Bonet
Improved Separations of Regular Resolution From Clause Learning Proof Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Related publications
Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Learning Regular Languages From Positive Evidence
Learning Regular Sets From Queries and Counterexamples
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL
Philosophy
POSIX Lexing With Derivatives of Regular Expressions (Proof Pearl)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PB-277 Literal Resolution: A Simple Proof of Resolution Completeness
DAIMI Report Series
Horn Clause Programs With Polymorphic Types: Semantics and Resolution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Width and Size of Regular Resolution Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science