-
A Simple and Efficient Boolean Solver for Constraint Logic Programming
International audience -
Autonomous search
This dataset has no description
-
Un solveur hybride pour la résolution pratique de SAT
International audience -
An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical ...
International audience -
SAT and Hybrid Models of the Car Sequencing Problem
International audience
