[IEEE 2014 IEEE 26th International Conference on Tools with...

  • Main
  • [IEEE 2014 IEEE 26th International...

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Al-Saedi, Balasim, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2014
Language:
english
DOI:
10.1109/ictai.2014.74
File:
PDF, 738 KB
english, 2014
Conversion to is in progress
Conversion to is failed