Carlos Ansótegui
Universitat de Lleida(ES)
Publications by Year
Research Areas
Constraint Satisfaction and Optimization, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Software Engineering Methodologies
Most-Cited Works
- → A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms(2009)299 cited
- → SAT-based MaxSAT algorithms(2013)155 cited
- → Solving (Weighted) Partial MaxSAT through Satisfiability Testing(2009)136 cited
- → The Community Structure of SAT Formulas(2012)86 cited
- Model-based genetic algorithms for algorithm configuration(2015)
- → Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables(2005)68 cited
- → A New Algorithm for Weighted Partial MaxSAT(2010)67 cited
- The Achilles’ Heel of QBF(2005)
- → On the Structure of Industrial SAT Instances(2009)53 cited
- → Improving SAT-Based Weighted MaxSAT Solvers(2012)52 cited