Article ISI
LATIN 2024: THEORETICAL INFORMATICS, PT II  (2006)

Adaptive enumeration strategies and metabacktracks for constraint solving

Monfroy E.; Castro, C.; Crawford B.

Más información

Título según WOS: Adaptive enumeration strategies and metabacktracks for constraint solving
Título de la Revista: LATIN 2024: THEORETICAL INFORMATICS, PT II
Volumen: 4243
Editorial: SPRINGER INTERNATIONAL PUBLISHING AG
Fecha de publicación: 2006
Página de inicio: 354
Página final: 363
Idioma: English
Notas: ISI