SAT-based redundancy removal.

Krishanu Debnath Rajeev Murgai Mayank Jain Janet Olson

Published in: DATE (2018)

Keyphrases

answer set programming
sat solvers
bounded model checking
planning problems
ai planning
version space
constraint solver
information systems
computational complexity
machine learning
information retrieval
constraint logic programming