Carlos Ansótegui

From MaRDI portal
Person:274401

Available identifiers

zbMath Open ansotegui.carlosWikidataQ62055661 ScholiaQ62055661MaRDI QIDQ274401

List of research outcomes

PublicationDate of PublicationType
Boosting evolutionary algorithm configuration2022-08-11Paper
OptiLog: a framework for SAT-based systems2022-03-22Paper
PyDGGA: distributed GGA for automatic configuration2022-03-22Paper
Community Structure in Industrial SAT Instances2019-10-11Paper
https://portal.mardi4nfdi.de/entity/Q45837982018-09-03Paper
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers2018-02-19Paper
WPM3: an (in)complete algorithm for weighted partial MaxSAT2017-11-16Paper
Scale-Free Random SAT Instances2017-07-12Paper
Exploiting subproblem optimization in SAT-based maxsat algorithms2017-04-28Paper
MaxSAT by improved instance-specific algorithm configuration2016-04-22Paper
Using Community Structure to Detect Relevant Learnt Clauses2015-11-20Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems2015-04-29Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories2015-01-22Paper
The Fractal Dimension of SAT Formulas2014-09-26Paper
Resolution procedures for multiple-valued optimization2014-08-01Paper
SAT-based MaxSAT algorithms2013-08-23Paper
The Community Structure of SAT Formulas2013-08-12Paper
Solving (Weighted) Partial MaxSAT through Satisfiability Testing2009-07-07Paper
Mapping CSP into Many-Valued SAT2009-03-10Paper
Boosting Open CSPs2008-09-09Paper
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers2007-10-12Paper
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency2007-09-04Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Carlos Ansótegui