2009
DOI: 10.1007/978-3-642-01702-5_14
|View full text |Cite
|
Sign up to set email alerts
|

Linear-Time Reductions of Resolution Proofs

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
40
0

Year Published

2009
2009
2016
2016

Publication Types

Select...
6

Relationship

0
6

Authors

Journals

citations
Cited by 25 publications
(40 citation statements)
references
References 14 publications
0
40
0
Order By: Relevance
“…In this section, we will present our notation and one of the proof reduction algorithms presented in [3].…”
Section: Preliminariesmentioning
confidence: 99%
See 4 more Smart Citations
“…In this section, we will present our notation and one of the proof reduction algorithms presented in [3].…”
Section: Preliminariesmentioning
confidence: 99%
“…We focus on such an algorithm introduced in [3], namely Recycle-Pivots. The observation behind the algorithm is that if there is a node v ∈ V such that each path from v to v 0 contains a node v such that piv(v) = piv(v ) then the resolution at node v is redundant.…”
Section: Conjunctive Normal Form(cnf)mentioning
confidence: 99%
See 3 more Smart Citations