[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4790 || Algorithms for Propositional Model Counting
Dershowitz, Nachum, Voronkov, AndreiVolume:
10.1007/97
Year:
2007
Language:
english
DOI:
10.1007/978-3-540-75560-9_35
File:
PDF, 277 KB
english, 2007