Author:
Mencía Carlos,Previti Alessandro,Marques-Silva Joao
Publisher
Springer International Publishing
Reference50 articles.
1. Lecture Notes in Computer Science;G Audemard,2013
2. Bacchus, F., Davies, J., Tsimpoukelli, M., Katsirelos, G.: Relaxation search: a simple way of managing optional clauses. In: AAAI, pp. 835–841 (2014)
3. Lecture Notes in Computer Science;A Belov,2014
4. Belov, A., Janota, M., Lynce, I., Marques-Silva, J.: Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216, 309–326 (2014)
5. Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient MUS extraction. AI Commun. 25(2), 97–116 (2012)