OPTSAT (OPTimal SATisfiability)

People

The system binary for Linux optsat1.1

The benchmarks in optsat's input format

A comparison between zChaff ver. 2004 and MiniSAT ver. 1.14 in OPTSAT1.0 (see JELIA06 paper)

The translator from optsat to a minONE problem optsat2opb4minONE

The translator from optsat to a maxSAT problem optsat2opb4maxSAT (needs to add clause selectors)

The translator from optsat to a maxSAT problem for MiniSAT+ optsat2opb4maxSAT+ (MiniSAT+ can not directly deal with maximization problems)

E. Giunchiglia, M. Maratea - SAT-based Planning with minimal-#actions plans and "soft" goals. Best Paper Award
In Proc. 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007).

E. Giunchiglia, M. Maratea - Planning as Satisfiability with Preferences.
Accepted to the 22th Conference of the American Association for Artificial Intelligence (AAAI 2007).

E. Giunchiglia, M. Maratea - Solving Optimization Problems with DLL.
In Proc. of the 17th European Conference on Artificial Intelligence (ECAI) 2006.

E. Giunchiglia, M. Maratea - OPTSAT: A Tool for Solving SAT related Optimization Problems. (tool description)
In Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA06).

Danilo Bacigalupo. Master thesis, May 2005.