Original language | Undefined/Unknown |
---|---|
Title of host publication | Theory and Applications of Satisfiability Testing -- SAT 2009 |
Editors | O Kullmann |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 223-236 |
Number of pages | 14 |
ISBN (Print) | 978-3-642-02776-5 |
Publication status | Published - 2009 |
Event | SAT 2009 - Berlin Duration: 30 Jun 2009 → 3 Jul 2009 |
Publication series
Name | |
---|---|
Publisher | Springer |
Name | Lecture Notes in Computer Science |
---|---|
Volume | 5584 |
ISSN (Print) | 0302-9743 |
Conference
Conference | SAT 2009 |
---|---|
Period | 30/06/09 → 3/07/09 |
Keywords
- CWTS JFIS < 0.75