Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:C.Ansótegui J.Levy L.Simon M.L.Bonet
Talks about:communiti (2) structur (2) formula (2) sat (2) fractal (1) learnt (1) dimens (1) detect (1) relev (1) claus (1)
Person: Jesús Giráldez-Cru
DBLP: Gir=aacute=ldez-Cru:Jes=uacute=s
Contributed to:
2015
20142012Wrote 3 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.