SAT Preprocessor
 SAT Solver
 #SAT Solver
 PB / MaxSAT
 Solver Evaluation

System description

Author: Robert Stelzmann   |   System description  

A brief system description of the SLS solver ssa is available here.

ICCL Home   |   Institute of Artificial Intelligence - KRR Group   |   Publications