Cimatti, Alessandro.Sebastiani, Roberto. (Eds.) () Theory and Applications of Satisfiability Testing – SAT 201215th International Conference, Trento, Italy, June 17-20, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
edited by Alessandro Cimatti, Roberto Sebastiani.
|Names:||Cimatti, Alessandro. | Sebastiani, Roberto.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7317
|Topics:||Computer science. | Computer software. | Logic design. | Artificial intelligence. | Mathematics. | Computer Science. | Logics and Meanings of Programs. | Computation by Abstract Devices. | Algorithm Analysis and Problem Complexity. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Information and Communication, Circuits.|