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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns:

Journal title: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs)

Journal number: Volume 235

Journal publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)

Published year: 2022

Published pages: 8:1-8:16

DOI identifier: 10.4230/lipics.cp.2022.8

ISBN: 978-3-95977-240-2