/sat4j-experiments

Experiments with Sat4j.

Primary LanguageScala

Experiments with SAT4J

References

  • http://www.sat4j.org/

  • Inês Lynce, Joël Ouaknine. 2006. Sudoku as a SAT problem. In Proc. of Ninth International Symposium on Artificial Intelligence and Mathematics (ISAIM-06).