External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The CP-SAT-LP Solver (Invited Talk)

Laurent Perron, Frédéric Didier, Steven Gay. The CP-SAT-LP Solver (Invited Talk). In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Laurent Perron

This author has not been identified. Look up 'Laurent Perron' in Google

Frédéric Didier

This author has not been identified. Look up 'Frédéric Didier' in Google

Steven Gay

This author has not been identified. Look up 'Steven Gay' in Google
runs on