Sat-based maxsat algorithms, Artificial Intelligence, vol.196, pp.77-105, 2013. ,
On computing minimal models, Ann. Math. Artif. Intell, vol.18, issue.1, pp.3-27, 1996. ,
Soft arc consistency applied to optimal planning, Principles and Practice of Constraint Programming (CP), pp.680-684, 2006. ,
Solving MAXSAT by solving a sequence of simpler SAT instances, Principles and Practice of Constraint Programming (CP), pp.225-239, 2011. ,
Postponing optimization to speed up MAXSAT solving, Principles and Practice of Constraint Programming (CP), pp.247-262, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-02746030
An extensible sat-solver, Proceedings of Theory and Applications of Satisfiability Testing (SAT), pp.502-518, 2003. ,
Efficient and accurate haplotype inference by combining parsimony and pedigree information, Proceedings of the 4th International Conference on Algebraic and Numeric Biology, pp.38-56, 2012. ,
MiniMaxSAT: An efficient weighted Max-SAT solver, J. Artif. Intell. Res. (JAIR), vol.31, pp.1-32, 2008. ,
Coreguided binary search algorithms for maximum satisfiability, Proceedings of the AAAI National Conference (AAAI), pp.36-41, 2011. ,
Logic-based benders decomposition, Mathematical Programming, vol.96, issue.1, pp.33-60, 2003. ,
Backbones and backdoors in satisfiability, Proceedings of the AAAI National Conference (AAAI), pp.1368-1373, 2005. ,
Exploiting cycle structures in Max-SAT, Proceedings of Theory and Applications of Satisfiability Testing (SAT), pp.467-480, 2009. ,
Algorithms for computing minimal unsatisfiable subsets of constraints, Journal of Automated Reasoning, vol.40, issue.1, pp.1-33, 2008. ,
On computing minimal correction subsets, Proceedings of the International Joint Conference on Artifical Intelligence (IJCAI), pp.615-622, 2013. ,
Conflictdriven clause learning SAT solvers, Handbook of Satisfiability, pp.131-153, 2009. ,
A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987. ,
Identifying necessary reactions in metabolic pathways by minimal model generation, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.277-282, 2010. ,
Optimal protein structure alignment using maximum cliques, Operations Research, vol.53, issue.3, pp.389-402, 2005. ,
A "logic-constrained" knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite, Comp. Opt. and Appl, vol.20, issue.2, pp.137-157, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00359386
Maxsat heuristics for cost optimal planning, Proceedings of the AAAI National Conference (AAAI), pp.1846-1852, 2012. ,