Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation

Senne Berden, Mohit Kumar 0003, Samuel Kolb, Tias Guns. Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation. In Christine Solnon, editor, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel. Volume 235 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

@inproceedings{Berden0KG22,
  title = {Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation},
  author = {Senne Berden and Mohit Kumar 0003 and Samuel Kolb and Tias Guns},
  year = {2022},
  doi = {10.4230/LIPIcs.CP.2022.8},
  url = {https://doi.org/10.4230/LIPIcs.CP.2022.8},
  researchr = {https://researchr.org/publication/Berden0KG22},
  cites = {0},
  citedby = {0},
  booktitle = {28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel},
  editor = {Christine Solnon},
  volume = {235},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-240-2},
}