| Improved static symmetry breaking for SAT J Devriendt, B Bogaerts, M Bruynooghe, M Denecker Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 90 | 2016 |
| Model expansion in the presence of function symbols using constraint programming B De Cat, B Bogaerts, J Devriendt, M Denecker 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 48 | 2013 |
| Symmetric explanation learning: Effective dynamic symmetry handling for SAT J Devriendt, B Bogaerts, M Bruynooghe Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 46 | 2017 |
| Symmetry propagation: Improved dynamic symmetry breaking in SAT J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 46 | 2012 |
| Cutting to the core of pseudo-boolean optimization: Combining core-guided search with cutting planes reasoning J Devriendt, S Gocht, E Demirović, J Nordström, PJ Stuckey Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3750-3758, 2021 | 38 | 2021 |
| Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search J Devriendt, A Gleixner, J Nordström Constraints 26 (1), 26-55, 2021 | 27 | 2021 |
| Legislation in the knowledge base paradigm: interactive decision enactment for registration duties M Deryck, J Vennekens, J Devriendt, S Marynissen 2019 IEEE 13th International Conference on Semantic Computing (ICSC), 174-177, 2019 | 18 | 2019 |
| On local domain symmetry for model expansion J Devriendt, B Bogaerts, M Bruynooghe, M Denecker Theory and Practice of Logic Programming 16 (5-6), 636-652, 2016 | 16 | 2016 |
| BreakIDGlucose: On the importance of row symmetry in SAT J Devriendt, B Bogaerts, M Bruynooghe Proceedings 4th International Workshop on the Cross-Fertilization Between …, 2014 | 16 | 2014 |
| Theoretical and experimental results for planning with learned binarized neural network transition models B Say, J Devriendt, J Nordström, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2020 | 14 | 2020 |
| Relevance for sat (id) J Jansen, B Bogaerts, J Devriendt, G Janssens, M Denecker Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016 | 12 | 2016 |
| Simplifying step-wise explanation sequences I Bleukx, J Devriendt, E Gamba, B Bogaerts, T Guns Leibniz International Proceedings in Informatics 280, 1-20, 2023 | 11 | 2023 |
| Verifying properties of bit-vector multiplication using cutting planes reasoning V Liew, P Beame, J Devriendt, J Elffers, J Nordström # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 194-204, 2020 | 11 | 2020 |
| Watched propagation of-integer linear constraints J Devriendt International Conference on Principles and Practice of Constraint …, 2020 | 9 | 2020 |
| Cryptominisat with ccanr at the sat competition 2020 M Soos, J Devriendt, S Gocht, A Shaw, KS Meel SAT COMPETITION 2020, 27, 2020 | 9 | 2020 |
| BreakID: Static symmetry breaking for ASP (system description) J Devriendt, B Bogaerts arXiv preprint arXiv:1608.08447, 2016 | 9 | 2016 |
| The effects of buying a new car: an extension of the IDP Knowledge Based System P Van Hertum, J Vennekens, B Bogaerts, J Devriendt, M Denecker CW Reports, 2013 | 6 | 2013 |
| CosySEL: improving SAT solving using local symmetries S Saouli, S Baarir, C Dutheillet, J Devriendt International Conference on Verification, Model Checking, and Abstract …, 2023 | 5 | 2023 |
| CryptoMiniSat with WalkSAT at the SAT competition 2020 M Soos, B Selman, H Kautz, J Devriendt, S Gocht SAT COMPETITION 2020, 29, 2020 | 5 | 2020 |
| Exact: evaluating a pseudo-Boolean solver on MaxSAT problems J Devriendt MaxSAT Evaluation, 12-13, 2021 | 4 | 2021 |
