SE Verwer | TU Delft Repository

SV

SE Verwer

Journal article (3)

3 records found

1

Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3

Journal article (2015) - M Bruynooghe (author), H Blockeel (author), B Bogaerts (author), S de Cat (author), J de Pooter (author), J. Jansen (author), A Labarre (author), J Ramon (author), M Denecker (author), SE Verwer (author)

Software model synthesis using satisfiability solvers

Journal article (2013) - M.J.H. Heule (author), SE Verwer (author)

Efficiently identifying deterministic real-time automata from labeled data

Journal article (2012) - SE Verwer (author), M.M. de Weerdt (author), C. Witteveen (author)