SAT-based ASP Solving and Optimization via a General Transitive Closure Framework.

Masood Feyzbakhsh Rankooh, Matti Jrvisalo

Browse the full KR paper archive.