Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Bonet, María Luisa"'
Publikováno v:
In Artificial Intelligence December 2024 337
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Algorithms 15(6): 219 (2022)
We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of tim
Externí odkaz:
http://arxiv.org/abs/1708.06805
Autor:
Bonet, Maria Luisa a, Buss, Sam b, 1, Ignatiev, Alexey c, Morgado, Antonio d, ⁎, Marques-Silva, Joao e
Publikováno v:
In Artificial Intelligence November 2021 300
Publikováno v:
J. Artif. Intell. Res. 66: 443-472 (2019)
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit the underlying structure of in
Externí odkaz:
http://arxiv.org/abs/1606.03329
We prove that the propositional translations of the Kneser-Lov\'asz theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counting-based combinatorial proof of the Kneser-Lov\'asz theorem that avo
Externí odkaz:
http://arxiv.org/abs/1505.05531
Publikováno v:
In Journal of Computer and System Sciences March 2020 108:92-103
We prove that the graph tautology formulas of Alekhnovich, Johannsen, Pitassi, and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses and without degenerate resolution inferences. We also prove tha
Externí odkaz:
http://arxiv.org/abs/1208.2469
Autor:
Bonet, Maria Luisa, Buss, Sam
We prove that the graph tautology principles of Alekhnovich, Johannsen, Pitassi and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses and without degenerate resolution inferences. We also prove th
Externí odkaz:
http://arxiv.org/abs/1202.2296