Cover von Theory and Applications of Satisfiability Testing opens in new tab

Theory and Applications of Satisfiability Testing

SAT 2009 : 12th International Conference, Swansea, UK, June 30 - July 3, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5584
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 5584 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Theory and Applications of Satisfiability Testing <12, 2009, Swansea>

Details

Search for this author
Year: 2009
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-02776-5
ISBN (2nd): 3-642-02776-8
Description: XII, 540 S.
Series: Lecture notes in computer science; 5584
Participating parties: Search for this character Kullmann, Oliver
Parallel title: SAT 2009
Media group: MONOGRAPHIE