LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.
Wolf De WulfBart BogaertsPublished in: ICLP Technical Communications (2020)
Keyphrases
- answer set programs
- pseudo boolean
- answer set programming
- pseudo boolean constraints
- logic programming
- answer sets
- integer linear programming
- logic programs
- combinatorial problems
- symmetry breaking
- linear programming
- stable models
- exact solution
- propositional satisfiability
- constraint programming
- column generation
- linear program
- event calculus
- general purpose
- np hard
- optimal solution
- objective function
- global constraints
- knowledge representation
- feasible solution
- orders of magnitude