Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Mapping CSP into Many-Valued SAT

Autor
Ansótegui, C.; Maria, L.; Bonet, M.; Levy, J.; Manyà, F.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2007-05
Volum
4501
Pàgina inicial
10
Pàgina final
15
Grup de recerca
LOGPROG - Lògica i Programació

Participants

  • Ansótegui Gil, Carlos  (autor)
  • Maria, Luisa Bonet  (autor)
  • Bonet Carbonell, M. Luisa  (autor)
  • Levy Diaz, Jordi  (autor)
  • Manyà, Felip  (autor)