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

Senne Berden Mohit Kumar Samuel Kolb Tias Guns

Published in: CP (2022)

Keyphrases

knowledge compilation
lower bound
max sat
information retrieval
decision making
genetic algorithm
reinforcement learning
natural language
evolutionary algorithm
linear programming