Pages that link to "Item:Q5325874"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325874):
Displaying 5 items.
- The complexity of read-once resolution (Q1610491) (← links)
- Finding read-once resolution refutations in systems of 2CNF clauses (Q1749535) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- Analyzing read-once cutting plane proofs in Horn systems (Q2673307) (← links)
- (Q4949354) (← links)