`Travelled to:`

1 × Austria

1 × Denmark

1 × Greece

1 × Italy

1 × Japan

1 × Portugal

1 × The Netherlands

2 × United Kingdom

3 × USA

`Collaborated with:`

J.Levy S.R.Buss C.Ansótegui A.Atserias F.Manyà K.S.John N.Galesi J.L.Esteban T.Pitassi R.Raz J.Giráldez-Cru C.A.Phillips T.Warnow S.Yooseph J.Aisenberg S.Buss A.Craciun G.Istrate

`Talks about:`

sat (5) resolut (4) proof (4) lower (3) bound (3) evolutionari (2) principl (2) system (2) tree (2) max (2)

## Person: Maria Luisa Bonet

### DBLP: Bonet:Maria_Luisa

### Contributed to:

### Wrote 13 papers:

- ICALP-v2-2015-AisenbergBBCI #principle #proving
- Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.
- IJCAR-2014-AnsoteguiBGL #satisfiability
- The Fractal Dimension of SAT Formulas (CA, MLB, JGC, JL), pp. 107–121.
- SAT-2012-BonetB #learning
- An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (MLB, SRB), pp. 44–57.
- SAT-2009-AnsoteguiBL #satisfiability #testing
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing (CA, MLB, JL), pp. 427–440.
- SAT-2009-BonetJ #metric #satisfiability #using
- Efficiently Calculating Evolutionary Tree Measures Using SAT (MLB, KSJ), pp. 4–17.
- SAT-2007-AnsoteguiBLM #csp #satisfiability
- Mapping CSP into Many-Valued SAT (CA, MLB, JL, FM), pp. 10–15.
- SAT-2006-BonetLM #calculus #satisfiability
- A Complete Calculus for Max-SAT (MLB, JL, FM), pp. 240–251.
- CSL-2002-AtseriasB #on the #proving
- On the Automatizability of Resolution and Related Propositional Proof Systems (AA, MLB), pp. 569–583.
- ICALP-2001-AtseriasBE #bound
- Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution (AA, MLB, JLE), pp. 1005–1016.
- CSL-1997-BonetG #bound #linear #simulation
- Linear Lower Bounds and Simulations in Frege Systems with Substitutions (MLB, NG), pp. 115–128.
- STOC-1996-BonetPWY #polymorphism
- Constructing Evolutionary Trees in the Presence of Polymorphic Characters (MLB, CAP, TW, SY), pp. 220–229.
- STOC-1995-BonetPR #bound #proving
- Lower bounds for cutting planes proofs with small coefficients (MLB, TP, RR), pp. 575–584.
- LICS-1991-BonetB #deduction #on the #proving
- On the Deduction Rule and the Number of Proof Lines (MLB, SRB), pp. 286–297.