Jaco van de Pol

Research output

Research output per year 2019 2019 2021 2022 2023 2024

• 26 Article in proceedings
• 8 Journal article
• 5 Preprint
• 2 Book chapter
• 4 More
  • 2 Conference article
  • 1 Book
  • 1 Software

Research output per year

Research output per year

Search results

• 2021

  Adiar: An I/O-efficient implementation of Decision Diagrams

  Sølvsten, S. (Developer), van de Pol, J. (Other), Jakobsen, A. B. (Developer), Rysgaard, C. M. (Developer), Carstensen, E. F. (Developer) & Thomasen, M. W. B. (Developer), 25 Apr 2021

  Research output: Non-textual form › Software

  Open Access