Concepedia

Broes De Cat

BD

Statistics

Publications

10

Citations

252

H-Index

10

Active since

2009

Affiliations

KU Leuven(Current)

The University of Melbourne

Broes De Cat is an author at KU Leuven specializing in computer science, computing, and theory of computation.

Publications per year

2009–2019

10

Publications

10

Predicate Logic as a Modelling Language: The IDP System

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe et al. · arXiv (Cornell University) · 2014 · 53 citations · Full text

, , +16

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i>

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts et al. · Theory and Practice of Logic Programming · 2014 · 41 citations · Full text

, , +12

Lazy Model Expansion: Interleaving Grounding with Search

Broes De Cat, Marc Denecker, Maurice Bruynooghe et al. · Journal of Artificial Intelligence Research · 2015 · 38 citations · Full text

, , +10

Model Expansion in the Presence of Function Symbols Using Constraint Programming

Broes De Cat, Bart Bogaerts, Jo Devriendt et al. · 2013 · 33 citations · Full text

, , +16

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT

Jo Devriendt, Bart Bogaerts, Broes De Cat et al. · 2012 · 22 citations · Full text

, , +14

1–5 of 10