Telecharger Cours

RWTH Aachen

6 Source code of SATCP and benchmark instance generators can be found at https://github.com/solimul/SATCP. A System for Embedding Global Constraints into SAT.



Download