Original languageEnglish
Title of host publicationTheory and Applications of Satisfiability Testing ¿ SAT 2012
EditorsA Cimatti, R Sebastiani
Place of PublicationBerlin
PublisherSpringer
Pages475-476
Number of pages2
ISBN (Print)978-3-642-31611-1
StatePublished - 2012
Event15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012 -

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume7317
ISSN (Print)0302-9743

Conference

Conference15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012
Period17/06/1220/06/12

    Research areas

  • Geen BTA classificatie

ID: 2150514