Library
search
local_library
Repository
SV
SE Verwer
View Pure Profile
Authored
3 records found
Efficiently identifying deterministic real-time automata from labeled data
Journal article -
SE Verwer
,
M.M. de Weerdt
,
C. Witteveen
Software model synthesis using satisfiability solvers
Journal article -
M.J.H. Heule
,
SE Verwer
Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3
Journal article -
M Bruynooghe
,
H Blockeel
,
A. A.M.B. Bogaerts
,
S de Cat
,
J de Pooter
,
J. Jansen
,
A Labarre
,
J Ramon
,
M Denecker
,
SE Verwer