( en | de | ru )

 

Disambiguation of "Tack, Guido"

Author of the publication

copydeleteadd this publication to your clipboard
Coupling Different Integer Encodings for SAT.

, , , , and . CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 44-63. Springer, (2022)

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.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

Other publications of authors with the same name

Improved Linearization of Constraint Programming Models., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 49-65. Springer, (2016)Declarative Local-Search Neighbourhoods in MiniZinc., , , , and . ICTAI, page 98-105. IEEE, (2018)Search Combinators., , , , and . CP, volume 6876 of Lecture Notes in Computer Science, page 774-788. Springer, (2011)Addressing Problem Drift in UNHCR Fund Allocation., , and . CP, volume 280 of LIPIcs, page 37:1-37:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Globalizing constraint models., , , and . Artif. Intell., (2022)Coupling Different Integer Encodings for SAT., , , , and . CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 44-63. Springer, (2022)The MiningZinc Framework for Constraint-Based Itemset Mining., , , , and . ICDM Workshops, page 1081-1084. IEEE Computer Society, (2013)Single Constant Multiplication for SAT., , , , and . CPAIOR (1), volume 14742 of Lecture Notes in Computer Science, page 84-98. Springer, (2024)Memoizing a Monadic Mixin DSL., , , , and . WFLP, volume 6816 of Lecture Notes in Computer Science, page 68-85. Springer, (2011)Explaining Propagation for Gini and Spread with Variable Mean., , , and . CP, volume 235 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)