Sledovat
Shuolin LI
Shuolin LI
Aix-Marseille University
E-mailová adresa ověřena na: etu.univ-amu.fr
Název
Citace
Citace
Rok
Branching Strategy Selection Approach Based on Vivification Ratio
M Luo, CM Li, X Wu, S Li, Z Lü
arXiv preprint arXiv:2112.06917, 2021
12021
A new variable ordering for in-processing bounded variable elimination in sat solvers
S Li, CM Li, M Luo, J Coll, D Habet, F Manyà
32th International Joint Conferences on Artificial Intelligence (IJCAI 2023), 2023
2023
A Tableau Calculus for Signed Maximum Satisfiability
S Li, J Coll, D Habet, CM Li, F Manyà
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 170-175, 2023
2023
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3