Ładuje się......
Equivalence Between Systems Stronger Than Resolution
In recent years there has been an increasing interest in studying proof systems stronger than Resolution, with the aim of building more efficient SAT solvers based on them. In defining these proof systems, we try to find a balance between the power of the proof system (the size of the proofs require...
Zapisane w:
| Wydane w: | Theory and Applications of Satisfiability Testing – SAT 2020 |
|---|---|
| Główni autorzy: | , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
2020
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7326561/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51825-7_13 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|