Pages that link to "Item:Q1380432"

The following pages link to Hierarchies of polynomially solvable satisfiability problems (Q1380432):

Displaying 3 items.

• On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
• On some tractable classes in deduction and abduction (Q1978251) (← links)
• On the complexity of inconsistency measurement (Q2321337) (← links)