Author of the publication

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.

 

Other publications of authors with the same name

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