Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs. | 0 | 0.34 | 2020 |
| Hybrid Evaluation Procedures for QBF | 0 | 0.34 | 2005 |
| Evaluating QBFs via Symbolic Skolemization. | 31 | 1.58 | 2004 |
| Conditional Pure Literal Graphs | 0 | 0.34 | 2001 |