Heule, Marijn.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 31st 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:
Heule, Marijn.; SpringerLink (Online service); Gurfinkel, Arie.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.; Heule, Marijn.; SpringerLink (Online service)
(Language materials, printed)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
Weaver, Sean.; SpringerLink (Online service); Heule, Marijn.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
SpringerLink (Online service); Heule, Marijn.; Workshop on the Preservation of Stability under Discretization ((2001 :); Weaver, Sean.
(Language materials, printed)
Subjects
Computer algorithms
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
System design
Computer Modelling.
Artificial Intelligence.
Artificial intelligence.
Computer Communication Networks.
Control Structures and Microprogramming.
Theory of Computation.
Computers.
Mathematics of Computing.
Computer Science.
System analysis
Computer software