Pages that link to "Item:Q820148"
From MaRDI portal
The following pages link to On finding short resolution refutations and small unsatisfiable subsets (Q820148):
Displaying 7 items.
- Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Analyzing read-once cutting plane proofs in Horn systems (Q2673307) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)
