Original language | English |
---|---|
Title of host publication | Theory and Applications of Satisfiability Testing 2011 |
Editors | KA Sakallah, L Simon |
Place of Publication | Berlin, Germany |
Publisher | Springer |
Pages | 201-215 |
Number of pages | 15 |
DOIs | |
Publication status | Published - 2011 |
Event | SAT2011 - Berlin, Germany Duration: 19 Jun 2011 → 22 Jun 2011 |
Publication series
Name | |
---|---|
Publisher | Springer |
Name | Lecture Notes in Computer Science |
---|---|
Volume | 6695 |
ISSN (Print) | 0302-9743 |
Conference
Conference | SAT2011 |
---|---|
Period | 19/06/11 → 22/06/11 |
Keywords
- CWTS JFIS < 0.75