The following pages link to Logic Programming (Q5191483):
Displaying 6 items.
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Gradient-based supported model computation in vector spaces (Q2694583) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- A Model for Phase Transition of Random Answer-Set Programs (Q5277923) (← links)
