Concepedia

Carlos Ansótegui

CA

Statistics

Publications

30

Citations

950

H-Index

20

Active since

2003

Affiliations

Universitat de Lleida(Current)

Artificial Intelligence Research Institute

Universitat Politècnica de Catalunya

Consejo Superior de Investigaciones Científicas

Cornell University

Carlos Ansótegui is an author at Universitat de Lleida specializing in engineering, computer science, and combinatorial optimization.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationComputational ComplexitySatisfiabilityMathematical ProgrammingAutomated ReasoningFormal MethodsFormal VerificationDiscrete Mathematics

Publications per year

2003–2022

30

Publications

30

SAT-based MaxSAT algorithms

Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy · Artificial Intelligence · 2013 · 155 citations

Engineering, Algorithm Design, Automated Reasoning +7

Model-based genetic algorithms for algorithm configuration

Carlos Ansótegui, Yuri Malitsky, Horst Samulowitz et al. · International Conference on Artificial Intelligence · 2015 · 80 citations

Memetic Algorithm, Computational Science, Automatic Algorithm Configurators +15

A New Algorithm for Weighted Partial MaxSAT

Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 67 citations · Full text

Mathematical Programming, Weighted Partial Maxsat, Large-scale Global Optimization +15

The Achilles’ Heel of QBF

Carlos Ansótegui, Carla P. Gomes, Bart Selman · 2005 · 58 citations

Towards industrial-like random SAT instances

Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy · 2009 · 48 citations

Mathematical Programming, Engineering, Computational Complexity +16

1–5 of 30