Original language | Undefined/Unknown |
---|---|
Title of host publication | Theory and Applications of Satisfiability Testing SAT 2008 |
Editors | H Kleine Buning, X Zhao |
Place of Publication | Berlin/Heidelberg |
Publisher | Springer |
Pages | 291-304 |
Number of pages | 14 |
ISBN (Print) | 978-3-540-79718-0 |
Publication status | Published - 2008 |
Publication series
Name | |
---|---|
Publisher | Springer |
Name | Lecture Notes in Computer Science |
---|---|
Volume | 4996 |
ISSN (Print) | 0302-9743 |
Keywords
- CWTS 0.75 <= JFIS < 2.00