◀ Click to filter
Mark LiffitonINESC-ID | 
Total displayed: 2
Order by:
- Iterative and core-guided MaxSAT solving: A survey and assessment
António José dos Reis Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques Silva
Constraints vol. 18, DOI 10.1007/s10601-013-9146-2
2013 - A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas
Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, Joao Marques Silva, Karem A. Sakallah
Constraints Journal vol. 14, n. 4, DOI 10.1007/s10601-008-9058-8
2009