Abstract domains in constraint programming /
Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or re...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London, UK : Kidlington, Oxford, UK :
ISTE Press ; Elsevier,
2015.
|
Temas: | |
Acceso en línea: | Texto completo |