Pages that link to "Item:Q2999099"
From MaRDI portal
The following pages link to On Computing Backbones of Propositional Theories (Q2999099):
Displayed 6 items.
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- On preprocessing for weighted MaxSAT (Q2234104) (← links)
- The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability (Q2628808) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Advances in WASP (Q3449189) (← links)
- Towards backbone computing: A Greedy-Whitening based approach (Q5145436) (← links)