Pages that link to "Item:Q1363769"
From MaRDI portal
The following pages link to Variable and term removal from Boolean formulae (Q1363769):
Displaying 9 items.
- Backdoors to q-Horn (Q261394) (← links)
- Backdoor sets of quantified Boolean formulas (Q1040783) (← links)
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances (Q1776200) (← links)
- Maximum renamable Horn sub-CNFs (Q1961445) (← links)
- Backdoors to planning (Q2321271) (← links)
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing (Q2387427) (← links)
- On the size of maximum renamable Horn sub-CNF (Q2387435) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Backdoors into Two Occurrences (Q5014282) (← links)
