Nadia Creignou
-
SIGACT news complexity theory column 43
ACM SIGACT News
Probability Logic and Optimization SAT: The PSAT and CPA Models
Annals of Mathematics and Artificial Intelligence