3 citations · 4 across the 2 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
A Parity Game Tale of Two Counters
Tom van Dijk
Parity games are simple infinite games played on finite graphs with a winning condition that is expressive enough to capture nested least and greatest fixpoints. Through their tigh…
cs.LO2018
Revisiting Decision Diagrams for SAT
Tom van Dijk, Rüdiger Ehlers, Armin Biere
Symbolic variants of clause distribution using decision diagrams to eliminate variables in SAT were shown to perform well on hard combinatorial instances. In this paper we revisit…
cs.LO2018
Attracting Tangles to Solve Parity Games
Tom van Dijk
Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also inte…