Hoos, Holger H.
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / [electronic resource] : edited by Holger H. Hoos, David G. Mitchell. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3542 0302-9743 ; . - Lecture Notes in Computer Science, 3542 .
9783540315803
10.1007/11527695 doi
Computer science.
Operating systems (Computers).
Computer software.
Electronic data processing.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Numeric Computing.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / [electronic resource] : edited by Holger H. Hoos, David G. Mitchell. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3542 0302-9743 ; . - Lecture Notes in Computer Science, 3542 .
9783540315803
10.1007/11527695 doi
Computer science.
Operating systems (Computers).
Computer software.
Electronic data processing.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Numeric Computing.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131