Strichman, Ofer.
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / [electronic resource] : edited by Ofer Strichman, Stefan Szeider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6175 0302-9743 ; . - Lecture Notes in Computer Science, 6175 .
9783642141867
10.1007/978-3-642-14186-7 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
QA76.9.A43
005.1
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / [electronic resource] : edited by Ofer Strichman, Stefan Szeider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6175 0302-9743 ; . - Lecture Notes in Computer Science, 6175 .
9783642141867
10.1007/978-3-642-14186-7 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
QA76.9.A43
005.1