Pages that link to "Item:Q5463945"
From MaRDI portal
The following pages link to Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463945):
Displaying 4 items.
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (Q1037642) (← links)
- Binary constraint satisfaction problems defined by excluded topological minors (Q1633806) (← links)
- Minimum saturated families of sets (Q4583638) (← links)