Using local search for guiding enumeration in 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: 4183
Editorial: SPRINGER-VERLAG BERLIN
Fecha de publicación: 2006
Página de inicio: 56
Página final: 65