Pages that link to "Item:Q5325856"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325856):
Displaying 5 items.
- Satisfiability of mixed Horn formulas (Q997066) (← links)
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls (Q1040040) (← links)
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances (Q1776200) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- Results related to threshold phenomena research in satisfiability: Lower bounds (Q5958805) (← links)