Export 2 results:
Filters: Author is Previti, Alessandro  [Clear All Filters]
Ignatiev, A., A. Previti, and J. Marques-Silva, "On Finding Minimum Satisfying Assignments", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 287–297, 2016.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.