Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation.pdf 927 KB Raw History Download (927 KB)
