Decision tree learning is a widely used approach in machine learning,
fa...
Learning constraint networks is known to require a number of membership
...
The technique of kernelization consists in extracting, from an instance ...
The payload of communications satellites must go through a series of tes...
In the context of CSPs, a strong backdoor is a subset of variables such ...
In many combinatorial problems one may need to model the diversity or
si...
Recently, a variety of constraint programming and Boolean satisfiability...