Caricamento...
Building Strategies into QBF Proofs
Strategy extraction is of great importance for quantified Boolean formulas (QBF), both in solving and proof complexity. So far in the QBF literature, strategy extraction has been algorithmically performed from proofs. Here we devise the first QBF system where (partial) strategies are built into the...
Salvato in:
| Pubblicato in: | J Autom Reason |
|---|---|
| Autori principali: | , , |
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
Springer Netherlands
2020
|
| Soggetti: | |
| Accesso online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7808293/ https://ncbi.nlm.nih.gov/pubmed/33487785 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-020-09560-1 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|