Maria Luisa Bonet Spanish computer scientist
Bonet, María Luisa
VIAF ID: 305870322 (Personal)
Permalink: http://viaf.org/viaf/305870322
Preferred Forms
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Approximating subtree distances between phylogenies. | |
Are the hard examples for frege systems? | |
El axioma de elección y la lógica | |
Better methods for solving parsimony and compatibility | |
Complexity measures for resolution | |
The complexity of finding multiple solutions to betweenness and quartet compatibility. | |
The Complexity of resource-bounded propositional proofs | |
Digitalización de un distribuidor de joyeria | |
Efficiently Calculating Evolutionary Tree Measures Using SAT | |
Eines per a l'estudi de la lògica | |
Exponential separation between tree-like and dag-like : cutting planes proofsystems | |
Food safety and functional foods in the European Union: obesity as a paradigmatic example for novel food development. | |
The Fractal Dimension of SAT Formulas | |
Genetics and Nutrigenomics of Obesity | |
Gestió i validació d'usuaris | |
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning | |
Improving SAT-Based Weighted MaxSAT Solvers | |
Improving WPM2 for | |
The Lengths of propositional proofs and the deduction rule | |
Linear lower bounds and simulations in frege systems with substitutions | |
Lower bounds for cutting planes proofs with small coefficients | |
Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution | |
Non-Automatizability of Bounded-Depth Frege Proofs | |
On Interpolation and Automatization for Frege Systems | |
On the complexity of uSPR distance. | |
On the Structure of Industrial SAT Instances | |
Positive correlation of skeletal muscle UCP3 mRNA levels with overweight in male, but not in female, rats. | |
QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS | |
Resolution procedures for multiple-valued optimization | |
SAT-based MaxSAT algorithms | |
Short Proofs of the Kneser-Lovász Coloring Principle | |
Size-depth tradeoffs for Boolean formulae | |
Solving (Weighted) Partial MaxSAT through Satisfiability Testing | |
White adipose tissue reference network: a knowledge resource for exploring health-relevant relations | |
The Width-size method for general resolution is optimal |