Conference Proceedings

#∃SAT: Projected Model Counting

RA Aziz, G Chu, C Muise, P Stuckey, M Heule, S Weaver

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Springer International Publishing | Published : 2015