Heule, Marijn.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(1998 :); Heule, Marijn.; SpringerLink (Online service); Weaver, Sean.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part III /
by:
(1998 :); Gurfinkel, Arie.; Heule, Marijn.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part I /
by:
(1998 :); Gurfinkel, Arie.; Heule, Marijn.; SpringerLink (Online service)
(Electronic resources)
Subjects