Generating Random Logic Programs Using Constraint Programming.
Paulius DilkasVaishak BellePublished in: CoRR (2020)
Keyphrases
- logic programs
- constraint programming
- logic programming
- combinatorial problems
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- answer sets
- stable models
- fixpoint
- answer set programming
- column generation
- global constraints
- search heuristics
- background knowledge
- search strategies
- constraint solving
- normal logic programs
- partial deduction
- inductive logic programming
- constraint logic programming
- computational properties
- strong equivalence
- deductive databases
- np complete
- answer set semantics