Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Giunchiglia, Enrico (Editor), Tacchella, Armando (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2919
• Subjects: Mathematics.; Algorithms.; Mathematical logic.; Numerical analysis.; Artificial intelligence.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Numeric Computing.; Artificial Intelligence (incl. Robotics).