Kullmann, Oliver.
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / [electronic resource] : edited by Oliver Kullmann. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5584 0302-9743 ; . - Lecture Notes in Computer Science, 5584 .
9783642027772
10.1007/978-3-642-02777-2 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / [electronic resource] : edited by Oliver Kullmann. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5584 0302-9743 ; . - Lecture Notes in Computer Science, 5584 .
9783642027772
10.1007/978-3-642-02777-2 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004