Pages that link to "Item:Q814529"
From MaRDI portal
The following pages link to Enhancing disjunctive logic programming systems by SAT checkers (Q814529):
Displaying 7 items.
- Graph-based construction of minimal models (Q2093381) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
