Cited By
View all- Bauters KLiu WHong JGodo LSierra C(2014)A Syntactic Approach to Revising Epistemic States with Uncertain InputsProceedings of the 2014 IEEE 26th International Conference on Tools with Artificial Intelligence10.1109/ICTAI.2014.32(154-161)Online publication date: 10-Nov-2014
- Morgado AHeras FMarques-Silva J(2013)Model-Guided Approaches for MaxSAT SolvingProceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence10.1109/ICTAI.2013.142(931-938)Online publication date: 4-Nov-2013
- Barrett CDeters MMoura LOliveras AStump A(2013)6 Years of SMT-COMPJournal of Automated Reasoning10.1007/s10817-012-9246-550:3(243-277)Online publication date: 1-Mar-2013
- Show More Cited By