Configurable SAT Solver Challenge (CSSC) 2014Participants
Industrial Track
| Solver | Submitter(s) | Reference |
|---|---|---|
| clasp-3.0.4-p8 | Martin Gebser, Benjamin Kaufmann and Torsten Schaub | [3] |
| cryptominisat | Mate Soos | [8] |
| lingeling | Armin Biere | [2] |
| minisat-HACK-999ED-CSSC | Chanseok Oh | N/A |
| Riss-4.27 | Norbert Manthey | [7] |
| SparrowToRiss | Adrian Balint and Norbert Manthey | [1] |
Crafted Track
| Solver | Submitter(s) | Reference |
|---|---|---|
| clasp-3.0.4-p8 | Martin Gebser, Benjamin Kaufmann and Torsten Schaub | [3] |
| cryptominisat | Mate Soos | [8] |
| lingeling | Armin Biere | [2] |
| minisat-HACK-999ED-CSSC | Chanseok Oh | N/A |
| Riss-4.27 | Norbert Manthey | [7] |
| SparrowToRiss | Adrian Balint and Norbert Manthey | [1] |
| yalsat | Armin Biere | [2] |
Random SAT+UNSAT Track
| Solver | Submitter(s) | Reference |
|---|---|---|
| clasp-3.0.4-p8 | Martin Gebser, Benjamin Kaufmann and Torsten Schaub | [3] |
| DCCASat+march-rw | Chuan Luo, Shaowei Cai, Wei Wu and Kaile Su | [5] |
| minisat-HACK-999ED-CSSC | Chanseok Oh | N/A |
| Riss-4.27 | Norbert Manthey | [7] |
| SparrowToRiss | Adrian Balint and Norbert Manthey | [1] |
Random SAT Track
| Solver | Submitter(s) | Reference |
|---|---|---|
| clasp-3.0.4-p8 | Martin Gebser, Benjamin Kaufmann and Torsten Schaub | [3] |
| CSCCSat2014 | Chuan Luo, Shaowei Cai, Wei Wu and Kaile Su | [4,6] |
| minisat-HACK-999ED-CSSC | Chanseok Oh | N/A |
| probSAT | Adrian Balint | [1] |
| SparrowToRiss | Adrian Balint and Norbert Manthey | [1] |
| yalsat | Armin Biere | [2] |
References
[1] Balint, A., Manthey, N., 2014. SparrowToRiss, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.
[2] Biere, A., 2014. Yet another local search solver and lingeling and friends entering the sat competition 2014, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.
[3] Gebser, M., Kaufmann, B., Schaub, T., 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187-188, 52–89.
[4] Luo, C., Cai, S., Wu, W., Su, K., 2013. Focused random walk with configuration checking and break minimum for satisfiability, in: Proceedings of the 2013 Conference on Constraint Programming (CP’13), pp. 481–496.
[5] Luo, C., Cai, S., Wu, W., Su, K., 2014a. Double configuration checking in stochastic local search for satisfiability, in: Proceeding of the 2014 Conference on Artificial Intelligence (AAAI’14), p. To appear.
[6] Luo, C., Cai, S., Wu, W., Su, K., 2014b. Double configuration checking in stochastic local search for satisfiability, in: Proceeding of the 2014 Conference on Artificial Intelligence (AAAI’14), p. To appear.
[7] Manthey, N., 2014. Riss 4.27, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.
[8] Soos, M., 2014. CryptoMiniSat v4, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.