Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Splitting on Demand in SAT Modulo Theories

Autor
Barrett, C.; Nieuwenhuis, R.; Oliveras, A.; Tinelli, C.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2006-10
Número
4246
Pàgina inicial
512
Pàgina final
526
Grup de recerca
LOGPROG - Lògica i Programació

Participants