research
∙
03/16/2023
Taking advantage of a very simple property to efficiently infer NFAs
Grammatical inference consists in learning a formal grammar as a finite ...
share
research
∙
07/13/2021
Improved SAT models for NFA learning
Grammatical inference is concerned with the study of algorithms for lear...
research
∙
07/13/2021
GA and ILS for optimizing the size of NFA models
Grammatical inference consists in learning a formal grammar (as a set of...
research
∙
08/04/2020
Modular Constraint Solver Cooperation via Abstract Interpretation
Cooperation among constraint solvers is difficult because different solv...
research
∙
06/27/2014
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
On the one hand, Constraint Satisfaction Problems allow one to declarati...
research
∙
03/24/2000
Constraint Programming viewed as Rule-based Programming
We study here a natural situation when constraint programming can be ent...
research
∙
09/08/1999
