Marı́a Luisa Bonet

Publications

1.3K

Citations

H-Index

1993

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

Universitat de Lleida

University of California San Diego

Artificial Intelligence Research Institute

Consejo Superior de Investigaciones Científicas

Marı́a Luisa Bonet is an author at Universitat Politècnica de Catalunya specializing in engineering, computational complexity, and automated reasoning.

ORCID

Top concepts

EngineeringComputational ComplexityComputer ScienceAutomated ReasoningFormal MethodsProof ComplexityDiscrete MathematicsFormal VerificationMathematical ProgrammingCombinatorial Optimization

Publications per year

1993–2019

Publications

SAT-based MaxSAT algorithms

Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy · Artificial Intelligence · 2013 · 155 citations

Engineering, Algorithm Design, Automated Reasoning +7

On Interpolation and Automatization for Frege Systems

Marı́a Luisa Bonet, Toniann Pitassi, Ran Raz · SIAM Journal on Computing · 2000 · 135 citations

Numerical Analysis, Mathematical Programming, Frege Systems +16

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Marı́a Luisa Bonet, Juan Luis Esteban, Nicola Galesi et al. · SIAM Journal on Computing · 2000 · 117 citations

Mathematical Programming, Circuit Complexity, Computational Complexity Theory +17

Resolution for Max-SAT

Marı́a Luisa Bonet, Jordi Levy, Felip Manyà · Artificial Intelligence · 2007 · 98 citations

Sat Solving, Computational Imaging, High Resolution +1

On the automatizability of resolution and related propositional proof systems

Albert Atserias, Marı́a Luisa Bonet · Information and Computation · 2003 · 80 citations

Engineering, Automated Reasoning, Propositional Logic +8

Rows per page

1–5 of 25