Concepedia
Author
Jo Devriendt
Also Known As
Devriendt, Jo, JO DEVRIENDT, Jo Devriendt, Pupyrev, Sergey
41
Publications
522
Citations
8
H-Index
36
Concepts
All Affiliations
1
6
400
2
5
388
3
12
4
15
×
All Concepts
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016
Joachim Jansen, Bart Bogaerts, Jo Devriendt, +2
International Joint Conference on Artificial Intelligence
Artificial IntelligenceAi ArchitectureEngineeringMachine LearningData Science +5
2016
303
Model Expansion in the Presence of Function Symbols Using Constraint Programming
Broes De Cat, Bart Bogaerts, Jo Devriendt, +1
Mathematical ProgrammingEngineeringModel ExpansionConstrained OptimizationFormal Verification +17
2013
33
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT
Jo Devriendt, Bart Bogaerts, Broes De Cat, +2
Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningProgram Analysis +12
2012
21
On local domain symmetry for model expansion
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, +1
Theory and Practice of Logic Programming
Abstract SymmetryProgramming Language TheoryLocal Domain SymmetryEngineeringGeneralized Function +13
16
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
Jo Devriendt, Stephan Gocht, Emir Demirović, +2
Proceedings of the AAAI Conference on Artificial Intelligence
Artificial IntelligenceMathematical ProgrammingLarge-scale Global OptimizationEngineeringMachine Learning +24
2021
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties
Marjolein Deryck, Joost Vennekens, Jo Devriendt, +1
EngineeringInteractive Decision EnactmentLawSoftware EngineeringKnowledge-based Reasoning +22
2019
Page 1