Modern Approaches to Knowledge Compilation

MAKC is an international research project (IRP) shared between the Automated Reasoning Group of the University of California at Los Angeles (UCLA) and the Centre de Recherche en Informatique de Lens (CRIL UMR 8188 CNRS - Artois University). It has been created in 2020 for five years and is funded by CNRS, the University of California and Artois University.

The MAKC IRP is centered on knowledge compilation (KC) for problem solving. KC is a research area which aims to preprocess information to improve the time required to solve highly-demanding computational tasks (i.e., solving NP and Beyond NP problems). The main objective of MAKC is to conceive and evaluate KC tools of various kinds (mainly preprocessors, compilers and reasoners) and to apply them to solve problems from a large spectrum of areas, for instance product configuration, formal verification, probabilistic inference, machine learning, and databases.

Responsable scientifique pour le CRIL :
Partenaires :
Durée :