Fichte, Johannes
Full name Familienname, Vorname
Fichte, Johannes
Date issued
Results 1-6 of 6 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fichte, Johannes ; Hecher, Markus ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan | Treewidth and Counting Projected Answer Sets | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Fichte, Johannes ; Manthey, Norbert ; Stecklina, Julian ; Schidler, Andre ; Simonis, Helmut | Towards Faster Reasoners by Using Transparent Huge Pages | Konferenzbeitrag Inproceedings | 2020 | |
| 3 | Fichte, Johannes ; Hecher, Markus ; Philipp, Tobias | Inconsistency Proofs for ASP: The ASP-DRUPE Format | Konferenzbeitrag Inproceedings | 2019 | |
| 4 | Fichte, Johannes ; Hecher, Markus ; Zisser, Markus | gpusat2 - An Improved GPU Model Counter | Konferenzbeitrag Inproceedings | 2019 | |
| 5 | Fichte, Johannes ; Hecher, Markus | Counting with Bounded Treewidth: Meta Algorithm and Runtime Guarantees | Konferenzbeitrag Inproceedings | 2020 | |
| 6 | Fichte, Johannes ; Hecher, Markus ; Zisser, Markus ; Schiex, Thomas ; de Givry, Simon | An Improved GPU-Based SAT Model Counter | Konferenzbeitrag Inproceedings | 2019 |