Searching for authors named "Maria Luisa Bonet" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Number of symbols in Frege proofs with and without the deduction rule
- … Number of Symbols in Frege Proofs with and without the Deduction Rule Maria Luisa Bonet \Lambda…
- Cited by 4 (0 self) – Add To MetaCart
-
Linear lower bounds and simulations in Frege systems with substitutions
- …Linear lower bounds and simulations in Frege systems with substitutions ? Maria Luisa Bonet…
- Add To MetaCart
-
Degree Complexity for a Modified Pigeonhole Principle
- …Degree Complexity for a Modified Pigeonhole Principle Maria Luisa Bonet y Department de…
- Add To MetaCart
-
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
- …A Study of Proof Search Algorithms for Resolution and Polynomial Calculus Maria Luisa Bonet y…
- Cited by 40 (4 self) – Add To MetaCart
-
Optimality of size-width trade-offs for resolution
- …OPTIMALITY OF SIZE-WIDTH TRADEOFFS FOR RESOLUTION Maria Luisa Bonet and Nicola Galesi Abstract…
- Cited by 12 (4 self) – Add To MetaCart
-
Size-depth tradeoff for Boolean formulae
- …Size-Depth Tradeo#s for Boolean Formulae Maria Luisa Bonet Department of Mathematics Univ…
- Cited by 9 (1 self) – Add To MetaCart
-
The serial transitive closure problem for trees
- …The Serial Transitive Closure Problem for Trees Maria Luisa Bonet ∗ Department of Mathematics…
- Cited by 1 (0 self) – Add To MetaCart
-
Better Methods for Solving Parsimony and Compatibility
- …Better Methods for Solving Parsimony and Compatibility Maria Bonet , Mike Steel y , Tandy…
- Cited by 11 (2 self) – Add To MetaCart
-
On Chvátal Rank and Cutting Planes Proofs
- … Barcelona, Spain Mara Luisa Bonet Universitat Politecnica de Catalunya Barcelona, Spain Jordi Levy IIIA…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Deduction Rule and the Number of Proof Lines (Extended Abstract)
- …On the Deduction Rule and the Number of Proof Lines (Extended Abstract) Maria Luisa Bonet # Samuel…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
