The following pages link to (Q4228441):
Displaying 6 items.
- On finding solutions for extended Horn formulas (Q673602) (← links)
- A characterization of signed hypergraphs and its applications to VLSI via minimization and logic synthesis (Q1276973) (← links)
- Resolution and the integrality of satisfiability problems (Q1352293) (← links)
- Balanced \(0,\pm 1\)-matrices, bicoloring and total dual integrality (Q1919803) (← links)
- On some tractable classes in deduction and abduction (Q1978251) (← links)
- Simplifying clausal satisfiability problems (Q5096298) (← links)