Guided bottom-up interactive constraint acquisition
Constraint Acquisition (CA) systems can be used to assist in the modeling of constraint
satisfaction problems. In (inter) active CA, the system is given a set of candidate constraints …
satisfaction problems. In (inter) active CA, the system is given a set of candidate constraints …
Learning to learn in interactive constraint acquisition
Constraint Programming (CP) has been successfully used to model and solve complex
combinatorial problems. However, modeling is often not trivial and requires expertise, which …
combinatorial problems. However, modeling is often not trivial and requires expertise, which …
Generalizing Constraint Models in Constraint Acquisition
Constraint Acquisition (CA) aims to widen the use of constraint programming by assisting
users in the modeling process. However, most CA methods suffer from a significant …
users in the modeling process. However, most CA methods suffer from a significant …
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
The remarkable achievements of machine learning techniques in analyzing discrete
structures have drawn significant attention towards their integration into combinatorial …
structures have drawn significant attention towards their integration into combinatorial …
Application of AI to formal methods--an analysis of current trends
S Stock, J Dunkelau, A Mashkoor - arXiv preprint arXiv:2411.14870, 2024 - arxiv.org
With artificial intelligence (AI) being well established within the daily lives of research
communities, we turn our gaze toward an application area that appears intuitively unsuited …
communities, we turn our gaze toward an application area that appears intuitively unsuited …
Deep Neural Network for Constraint Acquisition Through Tailored Loss Function
E Vyhmeister, R Paez, G Gonzalez-Castane - International Conference on …, 2024 - Springer
The importance of extracting constraints from data is emphasized by its potential practical
applications in solving real-world problems. While constraints are commonly used for …
applications in solving real-world problems. While constraints are commonly used for …
[PDF][PDF] Learning constraint models from data
We propose an overview of constraint acquisition research, in which learning techniques are
used to learn constraint models from data. We discuss passive and (inter) active learning …
used to learn constraint models from data. We discuss passive and (inter) active learning …
[PDF][PDF] Deep Neural Network for Constraint Acquisition through Tailored Loss Function
G Gonzalez-Castane - iccs-meeting.org
The importance of extracting constraints from data is emphasized by its potential practical
applications in solving real-world problems. While constraints are commonly used for …
applications in solving real-world problems. While constraints are commonly used for …