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).
• Physical Description: XI, 530 p. online resource.
• ISBN: 9783540246053
• ISSN: 0302-9743 ;