Pages that link to "Item:Q2327091"
From MaRDI portal
The following pages link to Read-once resolutions in Horn formulas (Q2327091):
Displaying 7 items.
- Analyzing unit read-once refutations in difference constraint systems (Q2055789) (← links)
- Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363) (← links)
- Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419) (← 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)
- Farkas Bounds on Horn Constraint Systems (Q6489318) (← links)
- Proving the infeasibility of Horn formulas through read-once resolution (Q6558679) (← links)
