Matches in Data.gov.be for { <genid68203> ?p ?o ?g. }
Showing items 1 to 2 of
2
with 100 items per page.
- genid68203 title "Derkinderen, V. (2024). Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness. In: 36th IEEE International Conference on Tools with Artificial Intelligence. Presented at the 36th IEEE International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, 28 Oct 2024-30 Oct 2024." @default.
- genid68203 type Document @default.