Cargando…
Handbook of satisfiability /
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2009.
|
| Colección: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Temas: | |
| Acceso en línea: | Texto completo |