Maria Luisa Bonet
Universidad Politécnica de Cataluña
H-index: 30
Europe-Spain
Top articles of Maria Luisa Bonet
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Weighted, Circular and Semi-Algebraic Proofs | Journal of Artificial Intelligence Research | Ilario Bonacina Maria Luisa Bonet Jordi Levy | 2024/2/11 |
Polynomial Calculus for MaxSAT | Ilario Bonacina Maria Luisa Bonet Jordi Levy | 2023 | |
On the Density of States of Boolean Formulas | Carlos ANS OTEGUI Marıa Luisa BONET LEVY Jordi | 2023 | |
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems | Ilario Bonacina Maria Luisa Bonet | 2022/8/2 | |
Scale-free random SAT instances | Algorithms | Carlos Ansótegui Maria Luisa Bonet Jordi Levy | 2022/6/20 |
Propositional proof systems based on maximum satisfiability | Artificial Intelligence | Maria Luisa Bonet Sam Buss Alexey Ignatiev Antonio Morgado Joao Marques-Silva | 2021/11/1 |
Prealbumin as Tumor Marker in Head and Neck Cancer in Adults | Mariaina Cerdá Esteve Agustín Ruiz Javier Trujillano Cabello Mindaugas Gudelis M Bonet | 2021 | |
The Self-Similarity of Industrial SAT Instances | Carlos Ansótegui Maria Luisa Bonet Jesús Giráldez-Cru Jordi Levy | 2020/10/27 | |
Equivalence between systems stronger than resolution | Maria Luisa Bonet Jordi Levy | 2020/6/26 | |
2-D Tucker is PPA complete | Journal of Computer and System Sciences | James Aisenberg Maria Luisa Bonet Sam Buss | 2020/3/1 |