OptiLog: A Framework for SAT-based Systems.

Carlos Anstegui, Jesus Ojeda, Antnio Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres

Browse the full SAT paper archive.