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: Ans=oacute=tegui:Carlos
Contributed to:
2015
20142012200920072006200420052002Wrote 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.
- SAT-2002-ManyaABCL
- Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.