Author of the publication

Training Binarized Neural Networks Using MIP and CP.

, , , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 401-417. 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. 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

A hybrid model for a multiproduct pipeline planning and scheduling problem., , , and . Constraints An Int. J., 15 (2): 151-189 (2010)MDD Propagation for Sequence Constraints., , and . J. Artif. Intell. Res., (2014)Learning in Planning with Temporally Extended Goals and Uncontrollable Events., and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 578-582. IOS Press, (2008)Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract)., and . CP, volume 8656 of Lecture Notes in Computer Science, page 918-922. Springer, (2014)Flow-Based Combinatorial Chance Constraints., , and . CPAIOR, volume 7298 of Lecture Notes in Computer Science, page 129-145. Springer, (2012)Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events., and . IJCAI, page 1647-1652. (2009)Training Binarized Neural Networks Using MIP and CP., , , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 401-417. Springer, (2019)Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation., , , and . ICAPS, page 77-85. AAAI Press, (2019)BDD-based optimization for the quadratic stable set problem., , , and . Discret. Optim., 44 (Part): 100610 (2022)Convex Bichromatic Quadrangulation of Point Sets with Minimum Color Flips., , , and . CCCG, page 185-194. (2021)