Carlos Ansótegui

Available identifiers

zbMath Open ansotegui.carlosWikidataQ62055661 ScholiaQ62055661MaRDI QIDQ274401

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carlos Ansótegui