BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Portugal
1 × United Kingdom
2 × Canada
3 × USA
Collaborated with:
F.Manyà J.Levy J.Giráldez-Cru M.L.Bonet L.Simon A.Sabharwal C.P.Gomes J.W.Hart B.Selman R.Béjar A.Cabiscol C.M.Li
Talks about:
variabl (4) problem (4) sat (4) formula (3) map (3) communiti (2) structur (2) boolean (2) domain (2) finit (2)

Person: Carlos Ansótegui

DBLP DBLP: Ans=oacute=tegui:Carlos

Contributed to:

SAT 20152015
IJCAR 20142014
SAT 20122012
SAT 20092009
SAT 20072007
SAT 20062006
SAT 20042004
SAT 20042005
SAT 20022002

Wrote 9 papers:

SAT-2015-AnsoteguiGLS #community #detection #using
Using Community Structure to Detect Relevant Learnt Clauses (CA, JGC, JL, LS), pp. 238–254.
IJCAR-2014-AnsoteguiBGL #satisfiability
The Fractal Dimension of SAT Formulas (CA, MLB, JGC, JL), pp. 107–121.
SAT-2012-AnsoteguiGL #community #satisfiability
The Community Structure of SAT Formulas (CA, JGC, JL), pp. 410–423.
SAT-2009-AnsoteguiBL #satisfiability #testing
Solving (Weighted) Partial MaxSAT through Satisfiability Testing (CA, MLB, JL), pp. 427–440.
SAT-2007-AnsoteguiBLM #csp #satisfiability
Mapping CSP into Many-Valued SAT (CA, MLB, JL, FM), pp. 10–15.
SAT-2006-SabharwalAGHS #modelling #performance #symmetry
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (AS, CA, CPG, JWH, BS), pp. 382–395.
SAT-2004-AnsoteguiM #problem
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables (CA, FM), pp. 111–119.
SAT-J-2004-AnsoteguiM05 #problem
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables (CA, FM), pp. 1–15.
Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.