| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Proofs for Propositional Model Counting | Fichte, Johannes K. et al. | 2022 |
| 2 | Complications for Computational Experiments from Modern Processors | Fichte, Johannes K. et al. | 2021 |
| 3 | Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization | Fichte, Johannes K. et al. | 2021 |
| 4 | The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper) | Dzulfikar, M. Ayaz et al. | 2019 |
| 5 | DynASP2.5: Dynamic Programming on Tree Decompositions in Action | Fichte, Johannes K. et al. | 2018 |
| 6 | Weighted Model Counting on the GPU by Exploiting Small Treewidth | Fichte, Johannes K. et al. | 2018 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |