From post

Estimating the Number of Solutions of Cardinality Constraints Through range and roots Decompositions.

, , и . CP, том 11802 из Lecture Notes in Computer Science, стр. 317-332. Springer, (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.

 

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

Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search., , и . CoRR, (2024)Octagonal Domains for Continuous Constraints., , и . CP, том 6876 из Lecture Notes in Computer Science, стр. 706-720. Springer, (2011)Combination of Boxes and Polyhedra Abstractions for Constraint Solving., , , , и . FM Workshops (2), том 12233 из Lecture Notes in Computer Science, стр. 119-135. Springer, (2019)Programmation par contraintes et composition musicale.. JFPLC, Hermes, (2004)Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms., , и . ICTAI, стр. 655-662. IEEE Computer Society, (2016)Prediction of Parallel Speed-Ups for Las Vegas Algorithms., , и . ICPP, стр. 160-169. IEEE Computer Society, (2013)A global constraint for over-approximation of real-time streams., , и . Constraints An Int. J., 22 (3): 463-490 (2017)A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects., , , , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 180-194. Springer, (2007)A Tabu Search Method for Interval Constraints., , и . CPAIOR, том 5015 из Lecture Notes in Computer Science, стр. 372-376. Springer, (2008)Combining Constraint Languages via Abstract Interpretation., , , и . ICTAI, стр. 50-58. IEEE, (2019)