Pages that link to "Item:Q2151419"
From MaRDI portal
The following pages link to Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419):
Displaying 5 items.
- Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- On a generalization of Horn constraint systems (Q2399383) (← links)
- (Q3124320) (← links)
- (Q4732442) (← links)