BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bonet:Maria_Luisa

Contributed to:

ICALP (2) 20152015
IJCAR 20142014
SAT 20122012
SAT 20092009
SAT 20072007
SAT 20062006
CSL 20022002
ICALP 20012001
CSL 19971997
STOC 19961996
STOC 19951995
LICS 19911991

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.

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.