Jaco van de Pol

Publikationer pr. år

Filter

2023

Concise QBF Encodings for Games on a Grid (extended version)
Shaik, I. & van de Pol, J., 2023.
Publikation: Working paper/Preprint › Preprint

Åben adgang
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A., 2023.
Publikation: Working paper/Preprint › Preprint

Åben adgang
2021
A Manifesto for Applicable Formal Methods
Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 dec. 2021, s. 1-17, 17 s. (CoRR).
Publikation: Working paper/Preprint › Preprint

Åben adgang
Classical Planning as QBF without Grounding (extended version)
Shaik, I. & Pol, J. V. D., 18 jun. 2021, s. 1-17, 17 s. (CoRR).
Publikation: Working paper/Preprint › Preprint
Efficient Binary Decision Diagram Manipulation in External Memory
Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B., 25 apr. 2021, ArXiv, 36 s.
Publikation: Working paper/Preprint › Preprint

Publikation