( en | de | ru )

 

Disambiguation of "Devriendt, Jo"

Author of the publication

copydeleteadd this publication to your clipboard
Relevance for SAT(ID).

, , , , and . IJCAI, page 596-602. IJCAI/AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jo Baier

Il Jo

Changyeon Jo

Jó Ueyama

Sungho Jo

 

Other publications of authors with the same name

A MIP Backend for the IDP System., , , and . CoRR, (2016)FOLASP: FO(.) as Input Language for Answer Ser Solvers., , and . CoRR, (2021)Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search., , and . Constraints An Int. J., 26 (1): 26-55 (2021)as Input Language for Answer Set Solvers., , and . Theory Pract. Log. Program., 21 (6): 785-801 (2021)Watched Propagation of 0-1 Integer Linear Constraints.. CP, volume 12333 of Lecture Notes in Computer Science, page 160-176. Springer, (2020)CosySEL: Improving SAT Solving Using Local Symmetries., , , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 252-266. Springer, (2023)Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning., , , , and . FMCAD, page 194-204. IEEE, (2020)Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties., , , and . ICSC, page 174-177. IEEE, (2019)Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"., , , , and . (September 2020)Declarative Local Search for Predicate Logic., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 340-346. Springer, (2019)