![](/img/cover-not-exists.png)
What we can learn from conflicts in propositional satisfiability
Hamadi, Youssef, Jabbour, Saïd, Saïs, LakhdarVolume:
240
Language:
english
Journal:
Annals of Operations Research
DOI:
10.1007/s10479-015-2028-9
Date:
May, 2016
File:
PDF, 789 KB
english, 2016