Analyzing a Feature Model (FM) and reasoning on the corresponding
config...
We consider the problem EnumIP of enumerating prime implicants of Boolea...
Boosted trees is a dominant ML model, exhibiting high accuracy. However,...
We elaborate on the notion of rectification of a Boolean classifier Σ.
G...
We are interested in computing k most preferred models of a given d-DNNF...
Quantified Boolean logic results from adding operators to Boolean logic ...
Random forests have long been considered as powerful model ensembles in
...
Decision trees have long been recognized as models of choice in sensitiv...
In this paper, we investigate the computational intelligibility of Boole...
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cuttin...
Current pseudo-Boolean solvers implement different variants of the cutti...
Optimization is a key task in a number of applications. When the set of
...
In this paper, we investigate the extent to which knowledge compilation ...