< Back to previous page
Researcher
Jo Devriendt
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Dec 2020 → 31 Dec 2021 - Informatics Section (Division)
Member
From15 Sep 2011 → 25 Nov 2020
Projects
1 - 1 of 1
- Exploiting Symmetry in Model Expansion for Predicate and Propositional LogicFrom2 Jul 2012 → 22 Feb 2017Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 10 of 19
- CosySEL: Improving SAT Solving Using Local Symmetries(2023)
Authors: Jo Devriendt
Pages: 252 - 266Number of pages: 15 - FOLASP: FO(·) as Input Language for Answer Set Solvers(2021)
Authors: Kylian Van Dessel, Jo Devriendt, Joost Vennekens
Pages: 785 - 801 - Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search(2021)
Authors: Jo Devriendt
Pages: 26 - 55 - Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning(2021)
Authors: Jo Devriendt
Pages: 3750 - 3758 - Legislation in the knowledge base paradigm: interactive decision enactment for registration duties(2019)
Authors: Marjolein Deryck, Jo Devriendt, Simon Marynissen, Joost Vennekens
Pages: 174 - 177 - Declarative Local Search for Predicate Logic(2019)
Authors: San Pham, Jo Devriendt, Patrick De Causmaecker
Pages: 340 - 346 - Exploiting Symmetry in Model Expansion for Predicate and Propositional Logic(2017)
Authors: Jo Devriendt, Marc Denecker
Number of pages: 168 - Symmetric explanation learning: Effective dynamic symmetry handling for SAT(2017)
Authors: Bart Bogaerts, Jo Devriendt, Maurice Bruynooghe
Pages: 83 - 100 - BreakID: Static symmetry breaking for ASP (system description)(2016)
Authors: Jo Devriendt, Bart Bogaerts, Bart Bogaerts, Amelia Harrison
Pages: 25 - 39 - On local domain symmetry for model expansion(2016)
Authors: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pages: 636 - 652