Theory and Applications of Satisfiability Testing - SAT 2010
Strichman, Ofer.
Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642141867
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.
Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642141867
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.