( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

, , , , , и . IJCAI, стр. 1697-1703. ijcai.org, (2019)

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.

Junbo Ge

Wancheng Ge

Naixu Ge

Ge Yang

Mengyao Ge

 

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

SMT Solving for the Theory of Ordering Constraints., , , и . LCPC, том 9519 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2015)A Fast and Practical Method to Estimate Volumes of Convex Polytopes., и . FAW, том 9130 из Lecture Notes in Computer Science, стр. 52-65. Springer, (2015)A New Probabilistic Algorithm for Approximate Model Counting., , , , и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 312-328. Springer, (2018)Approximating Integer Solution Counting via Space Quantification for Linear Constraints., , , , , и . IJCAI, стр. 1697-1703. ijcai.org, (2019)Counting the Number of Solutions to Constraints., , и . CoRR, (2020)Approximate Integer Solution Counts over Linear Arithmetic Constraints.. AAAI, стр. 8022-8029. AAAI Press, (2024)VolCE: An Efficient Tool for Solving #SMT(LA) Problems., , и . PRUV@IJCAR, том 2157 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Computing and estimating the volume of the solution space of SMT(LA) constraints., , , и . Theor. Comput. Sci., (2018)Fair Division Minimizing Inequality., , и . EPIA (2), том 11805 из Lecture Notes in Computer Science, стр. 593-605. Springer, (2019)Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing., , , , и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 354-369. Springer, (2018)