Login / Signup
The Houria Constraint Solver.
Mouhssine Bouzoubaa
Published in:
SCAI (1995)
Keyphrases
</>
constraint solver
constraint solving
constraint propagation
constraint programming
linear constraints
constraint satisfaction
constraint satisfaction problems
sat solvers
genetic algorithm
constraint logic programming
real numbers
finite domain
orders of magnitude
image restoration
rough sets
constraint solvers
arc consistency algorithm
combinatorial problems
linear programming
neural network