Pages that link to "Item:Q2426102"
From MaRDI portal
The following pages link to On look-ahead heuristics in disjunctive logic programming (Q2426102):
Displaying 4 items.
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Declarative problem-solving using the DLV system (Q2734932) (← links)
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (Q3527695) (← links)
- Lookahead-Based SMT Solving (Q5222970) (← links)