Improved Separations of Regular Resolution From Clause Learning Proof Systems

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.4260
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Learning Regular Languages From Positive Evidence

1998English

Learning Regular Sets From Queries and Counterexamples

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1987English

On Modern Clause-Learning Satisfiability Solvers

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2009English

Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL
Philosophy
2003English

POSIX Lexing With Derivatives of Regular Expressions (Proof Pearl)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

PB-277 Literal Resolution: A Simple Proof of Resolution Completeness

DAIMI Report Series
1989English

Horn Clause Programs With Polymorphic Types: Semantics and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Width and Size of Regular Resolution Proofs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy