Overview

We present some artificial intelligence projects.

Background

Combinatorial search problems

SAT solver

• CNF format to DIMACS format.

@inproceedings{imms-sat18,
  author    = {Alexey Ignatiev and Antonio Morgado and Joao Marques{-}Silva},
  title     = {{PySAT:} {A} {Python} Toolkit for Prototyping with {SAT} Oracles},
  booktitle = {SAT},
  pages     = {428--437},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94144-8_26},
  doi       = {10.1007/978-3-319-94144-8_26}
}

pycosat. (2022, November 12). Retrieved from https://pypi.org/project/pycosat