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 5 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)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
