Follow
Jo Devriendt
Jo Devriendt
Verified email at kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Improved static symmetry breaking for SAT
J Devriendt, B Bogaerts, M Bruynooghe, M Denecker
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
732016
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
452013
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
352017
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
342012
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
262021
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
232021
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
162019
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
152014
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
142020
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
132016
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
122016
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
92020
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 2020
82020
Watched propagation of-integer linear constraints
J Devriendt
International Conference on Principles and Practice of Constraint …, 2020
72020
BreakID: Static symmetry breaking for ASP (system description)
J Devriendt, B Bogaerts
arXiv preprint arXiv:1608.08447, 2016
62016
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
52013
Exact: evaluating a pseudo-Boolean solver on MaxSAT problems
J Devriendt
MaxSAT Evaluation 2022, 13, 2022
42022
CryptoMiniSat with WalkSAT at the SAT Competition 2020
M Soos, B Selman, H Kautz, J Devriendt, S Gocht
SAT COMPETITION 2020, 29, 2020
42020
Experimental evaluation of a state-of-the-art grounder
J Jansen, I Dasseville, J Devriendt, G Janssens
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
42014
CosySEL: improving SAT solving using local symmetries
S Saouli, S Baarir, C Dutheillet, J Devriendt
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
The system can't perform the operation now. Try again later.
Articles 1–20