| No. | Title | Author | Year |
|---|---|---|---|
| 1 | PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT | Kiesel, Rafael et al. | 2022 |
| 2 | SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge) | Schidler, André | 2022 |
| 3 | Weighted Model Counting with Twin-Width | Ganian, Robert et al. | 2022 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 3 |