Long-distance Q-resolution with dependency schemes (Q2417950)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Long-distance Q-resolution with dependency schemes |
scientific article |
Statements
Long-distance Q-resolution with dependency schemes (English)
0 references
31 May 2019
0 references
QBF
0 references
Q-resolution
0 references
dependency schemes
0 references
strategy extraction
0 references
0 references
0 references
