Login / Signup
Ruud P. J. Koolen
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Boolean Functions
Complex Systems
Genetic Algorithm
Real Valued
Top Venues
ATVA
</>
Publications
</>
Ruud P. J. Koolen
,
Tim A. C. Willemse
,
Hans Zantema
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.
ATVA
(2015)