1. J. Larrosa, F. Heras, Resolution in Max-SAT and its relation to local consistency for weighted CSPs, in: Proc. of the 19th IJCAI, Edinburgh, UK, 2005, pp. 193–198
2. J. Larrosa, F. Heras, New Inference Rules for Efficient Max-SAT Solving, in: Proc. of AAAI-06, Boston, MA, 2006
3. H. Xu, R. Rutenbar, K. Sakallah, sub-SAT: A formulation for relaxed boolean satisfiability with applications in routing, in: Proc. Int. Symp. on Physical Design, San Diego CA, 2002, pp. 182–187
4. Optimal protein structure alignment using maximum cliques;Strickland;Operations Research,2005
5. A logic-constrained knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite;Vasquez;Journal of Computational Optimization and Applications,2001