Carlos Ansótegui

Available identifiers

zbMath Open ansotegui.carlosWikidataQ62055661 ScholiaQ62055661MaRDI QIDQ274401

List of research outcomes

Publication	Date of Publication	Type
Optilog V2: model, solve, tune and run	2024-07-12	Paper
Boosting evolutionary algorithm configuration	2022-08-11	Paper
OptiLog: a framework for SAT-based systems	2022-03-22	Paper
PyDGGA: distributed GGA for automatic configuration	2022-03-22	Paper
Community Structure in Industrial SAT Instances	2019-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4583798	2018-09-03	Paper
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	2018-02-19	Paper
WPM3: an (in)complete algorithm for weighted partial MaxSAT	2017-11-16	Paper
Scale-Free Random SAT Instances	2017-07-12	Paper
Exploiting subproblem optimization in SAT-based maxsat algorithms	2017-04-28	Paper
MaxSAT by improved instance-specific algorithm configuration	2016-04-22	Paper
Using Community Structure to Detect Relevant Learnt Clauses	2015-11-20	Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems	2015-04-29	Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	2015-01-22	Paper
The Fractal Dimension of SAT Formulas	2014-09-26	Paper
Resolution procedures for multiple-valued optimization	2014-08-01	Paper
SAT-based MaxSAT algorithms	2013-08-23	Paper
The Community Structure of SAT Formulas	2013-08-12	Paper
Solving (Weighted) Partial MaxSAT through Satisfiability Testing	2009-07-07	Paper
Mapping CSP into Many-Valued SAT	2009-03-10	Paper
Boosting Open CSPs	2008-09-09	Paper
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers	2007-10-12	Paper
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency	2007-09-04	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper

Research outcomes over time

This page was built for person: Carlos Ansótegui