( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A resolution calculus for MinSAT.

, , и . Log. J. IGPL, 29 (1): 28-44 (2021)

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.

Li Chu

Min Li

Min-chü Han

Li-Qiang Chu

Tse-Li Chu

 

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

U-Log = datalog + constraints., , и . JFPLC, стр. 369-372. (1995)Analysis and Generation of Pseudo-Industrial MaxSAT Instances., , , и . CCIA, том 248 из Frontiers in Artificial Intelligence and Applications, стр. 173-184. IOS Press, (2012)Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS., и . BDA, стр. 280-. INRIA, (1992)Parallelizing Satz Using Dynamic Workload Balancing., , и . Electron. Notes Discret. Math., (2001)New Inference Rules for Max-SAT, , и . CoRR, (2011)Minimum Satisfiability and Its Applications., , , и . IJCAI, стр. 605-610. IJCAI/AAAI, (2011)A Switching Criterion for Intensification and Diversification in Local Search for SAT., , и . J. Satisf. Boolean Model. Comput., 4 (2-4): 219-237 (2008)A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers., , и . J. Autom. Reason., 34 (1): 73-101 (2005)Optimizing with minimum satisfiability., , , и . Artif. Intell., (2012)Look-Ahead Versus Look-Back for Satisfiability Problems., и . CP, том 1330 из Lecture Notes in Computer Science, стр. 341-355. Springer, (1997)