Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Maria Luisa Bonet

A Complete Resolution Calculus for Signed Max-SAT

scientific article published in May 2007

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning

scientific article published in 2012

Approximating subtree distances between phylogenies

scientific article published in October 2006

Efficiently Calculating Evolutionary Tree Measures Using SAT

scientific article published in 2009

Food safety and functional foods in the European Union: obesity as a paradigmatic example for novel food development.

scientific article published in July 2004

Genetics and Nutrigenomics of Obesity

article

Improving SAT-Based Weighted MaxSAT Solvers

scientific article published in 2012

Improving WPM2 for (Weighted) Partial MaxSAT

scientific article published in 2013

Linear lower bounds and simulations in frege systems with substitutions

scientific article published in 1998

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

scientific article published in August 2002

Lower bounds for cutting planes proofs with small coefficients

Non-Automatizability of Bounded-Depth Frege Proofs

scientific article published in December 2004

On Interpolation and Automatization for Frege Systems

scientific article published in January 2000

On the Structure of Industrial SAT Instances

scientific article published in 2009

On the automatizability of resolution and related propositional proof systems

scientific article published on 2004

On the complexity of uSPR distance

scientific article published in July 2010

Optimality of size-width tradeoffs for resolution

scientific article published in December 2001

Positive correlation of skeletal muscle UCP3 mRNA levels with overweight in male, but not in female, rats.

scientific article published on 15 May 2003

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS

scientific article published in 2016

Resolution for Max-SAT

scientific article published in June 2007

Resolution procedures for multiple-valued optimization

scientific article published in April 2013

SAT-based MaxSAT algorithms

scientific article published in March 2013

Short Proofs of the Kneser-Lovász Coloring Principle

scientific article published in 2015

Short proofs of the Kneser–Lovász coloring principle

scientific article published in 2018

Size-depth tradeoffs for Boolean formulae

scientific article published in February 1994

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

scientific article published in 2009

The Fractal Dimension of SAT Formulas

scientific article published in 2014

The complexity of finding multiple solutions to betweenness and quartet compatibility

scientific article published on 20 July 2011

White adipose tissue reference network: a knowledge resource for exploring health-relevant relations

scientific article