Pages that link to "Item:Q5875680"

The following pages link to (Q5875680):

Displaying 3 items.

• On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations (Q2095546) (← links)
• Unit read-once refutations for systems of difference constraints (Q6174656) (← links)
• Farkas Bounds on Horn Constraint Systems (Q6489318) (← links)