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...
Պահպանված է:
| Համատեղ հեղինակներ: | , |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Գիտաժողովի նյութեր Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Cham, Suiza :
Springer,
2014, c2014
|
| Շարք: | (Lecture Notes in Computer Science ;
8561) |
| Խորագրեր: | |
| Առցանց հասանելիություն: | Ver documento en línea |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր: 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 /