|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 3 gevonden artikelen
| Titel: |
Weighting strategy for non-clausal resolution |
| Auteur: |
Stachniak, Z. Belov, A. |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 20 (2008) nr. 1 pagina's 61-78 |
| Jaar: |
2008-03 |
| Inhoud: |
A proof search procedure for propositional non-clausal resolution based on a new weighting strategy which utilizes search methods for propositional satisfiability (SAT solvers) and stochastic local search techniques for constructing counter-models is described. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 3 gevonden artikelen
| << vorige |