Details

Autor(en) / Beteiligte

• Hutchison, David
• Kanade, Takeo
• Kittler, Josef
• Kleinberg, Jon M
• Kullmann, Oliver
• Mattern, Friedemann
• Mitchell, John C
• Naor, Moni
• Nierstrasz, Oscar
• Pandu Rangan, C
• Steffen, Bernhard
• Sudan, Madhu
• Terzopoulos, Demetri
• Tygar, Doug
• Vardi, Moshe Y
• Weikum, Gerhard

Titel

Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [Elektronische Ressource]

Ist Teil von

• Lecture Notes in Computer Science : 5584

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2009