Local search for Boolean Satisfiability with configuration...

Artificial Intelligence 2013 / 11 Vol. 204

Local search for Boolean Satisfiability with configuration checking and subscore

Cai, Shaowei, Su, Kaile
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?
Volume:
204
Language:
english
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2013.09.001
Date:
November, 2013
File:
PDF, 519 KB
english, 2013
Conversion to is in progress
Conversion to is failed