Article ISI
Automata, Languages and Programming, ICALP, Pt II  (2006)

Adaptive enumeration strategies and metabacktracks for constraint solving

Monfroy E.; Castro C.; Crawford B.

Más información

Título de la Revista: Automata, Languages and Programming, ICALP, Pt II
Volumen: 4243
Editorial: SPRINGER-VERLAG BERLIN
Fecha de publicación: 2006
Página de inicio: 354
Página final: 363