Broes De Cat

Address: Department of Computing, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium.

Phone: +32- (0)16-32 78 54

Email: Broes De Cat



Education
Master in Computer Science (2009), K.U. Leuven, Belgium

Research

Research Interests
  • Knowledge representation and its applications
  • Algorithm design
  • Techniques to solve search problems: SAT-SMT, CP, ASP
Software
  • MinisatID: the solver of the model-expansion system IDP, which extends a SAT-solver with support for inductive defintions and aggregate expressions.
  • IDP-GUI: a user-friendly graphical interface for the model-expansion system.
Publications
A list of my publications can be found here.

Teaching

I'm a teaching assistant for the courses

Interesting links

Some software which I strongly support/use, so is worth mentioning here: