A carregar...
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...
Na minha lista:
| Publicado no: | J Autom Reason |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer Netherlands
2020
|
| Assuntos: | |
| Acesso em linha: | 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: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|