Learning constraints through partial queries

C Bessiere, C Carbonnel, A Dries, E Hebrard… - Artificial Intelligence, 2023 - Elsevier
Learning constraint networks is known to require a number of membership queries
exponential in the number of variables. In this paper, we learn constraint networks by asking …

Learning from survey propagation: a neural network for MAX-E-3-SAT

R Marino - Machine Learning: Science and Technology, 2021 - iopscience.iop.org
Many natural optimization problems are NP-hard, which implies that they are probably hard
to solve exactly in the worst-case. However, it suffices to get reasonably good solutions for …

CPSO: Chaotic Particle Swarm Optimization for Cluster Analysis

J Wang - Journal of Artificial Intelligence and Technology, 2023 - ojs.istp-press.com
Background: To solve the cluster analysis better, we propose a new method based on the
chaotic particle swarm optimization (CPSO) algorithm. Methods: In order to enhance the …

Pushing data into CP models using graphical model learning and solving

C Brouard, S de Givry, T Schiex - … Conference, CP 2020, Louvain-la-Neuve …, 2020 - Springer
Integrating machine learning with automated reasoning is one of the major goals of modern
AI systems. In this paper, we propose a non-fully-differentiable architecture that is able to …

Learning max-sat models from examples using genetic algorithms and knowledge compilation

S Berden, M Kumar, S Kolb… - … Conference on Principles …, 2022 - drops.dagstuhl.de
Many real-world problems can be effectively solved by means of combinatorial optimization.
However, appropriate models to give to a solver are not always available, and sometimes …

LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem

J Zhou, J Liang, M Yin, B He - 26th International Conference on …, 2023 - drops.dagstuhl.de
Abstract The Maximum Satisfiability (MaxSAT), an important optimization problem, has a
range of applications, including network routing, planning and scheduling, and …

[PDF][PDF] Learning max-csps via active constraint acquisition

DC Tsouros, K Stergiou - … on Principles and Practice of Constraint …, 2021 - drops.dagstuhl.de
Constraint acquisition can assist non-expert users to model their problems as constraint
networks. In active constraint acquisition, this is achieved through an interaction between the …

What Are the Rules? Discovering Constraints from Data

B Wiegand, D Klakow, J Vreeken - … of the AAAI Conference on Artificial …, 2024 - ojs.aaai.org
Constraint programming and AI planning are powerful tools for solving assignment,
optimization, and scheduling problems. They require, however, the rarely available …

Learning mixed-integer linear programs from contextual examples

M Kumar, S Kolb, L De Raedt, S Teso - arXiv preprint arXiv:2107.07136, 2021 - arxiv.org
Mixed-integer linear programs (MILPs) are widely used in artificial intelligence and
operations research to model complex decision problems like scheduling and routing …

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

A Hosny, S Reda - arXiv preprint arXiv:2402.03640, 2024 - arxiv.org
The remarkable achievements of machine learning techniques in analyzing discrete
structures have drawn significant attention towards their integration into combinatorial …