Title | ||
---|---|---|
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-45221-5_21 | LPAR |
Field | DocType | Citations |
Computer science,Algorithm,Theoretical computer science,Mathematical proof,True quantified Boolean formula | Conference | 9 |
PageRank | References | Authors |
0.49 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Uwe Egly | 1 | 544 | 45.57 |
Florian Lonsing | 2 | 320 | 17.29 |
Magdalena Widl | 3 | 60 | 5.88 |