Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
Selección de ponencias de la décima séptima Conferencia Internacional sobre Teoría y Aplicaciones de las Pruebas de Satisfacibilidad, celebrada como parte del Verano de Lógica de Viena, en Viena, Austria, en julio de 2014. Los artículos se han organizado en las siguientes secciones temáticas: máxima...
Guardat en:
| Autor corporatiu: | , |
|---|---|
| Altres autors: | , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Cham, Suiza :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ;
8561) |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Theory and Applications of Satisfiability Testing :
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
- Integer Programming and Combinatorial Optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : Proceedings /
- Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : Proceedings /
- Frontiers in Algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : Proceedings /
- Fun with Algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : Proceedings /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /