( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relevance for SAT(ID).

, , , , и . IJCAI, стр. 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.

Jo Baier

Changyeon Jo

Il Jo

Jó Ueyama

Sungho Jo

 

Другие публикации лиц с тем же именем

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