56 citations · 131 across the 14 of their papers we have counts for
14 papers
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
Jovial Cheukam Ngouonou, Ramiz Gindullin, Claude-Guy Quimper +2
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
Proving Conjectures Acquired by Composing Multiple Biases
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu +2
We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented…
Partial Queries for Constraint Acquisition
Christian Bessiere, Clement Carbonnel, Anton Dries +8
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 the us…
Classifying Pattern and Feature Properties to Get a Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper +1
Given, a sequence of variables, a time-series constraint ctr using the Sum aggregator, and a sliding time-series constraint enforcing the constraint ctr on each s…
Finding Synchronization Codes to Boost Compression by Substring Enumeration
Dany Vohl, Claude-Guy Quimper, Danny Dubé
Synchronization codes are frequently used in numerical data transmission and storage. Compression by Substring Enumeration (CSE) is a new lossless compression scheme that has turne…
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
Gilles Pesant, Claude-Guy Quimper, Alessandro Zanarini
Designing a search heuristic for constraint programming that is reliable across problem domains has been an important research topic in recent years. This paper concentrates on one…