Pages that link to "Item:Q5714756"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5714756):
Displaying 4 items.
- Satisfiability of mixed Horn formulas (Q997066) (← links)
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances (Q1776200) (← links)
- SAT-Based Horn Least Upper Bounds (Q3453244) (← links)
- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (Q3502705) (← links)