FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract)

Authors: Jimmy H. M. Lee and Allen Z. Zhong

Paper Information

Title:Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract)
Authors:Jimmy H. M. Lee and Allen Z. Zhong
Proceedings:dpcp22 Doctoral Program Papers
Editor: Hélène Verhaeghe
Keywords:Constraint Optimization Problems, Dominance Relations, Dominance Breaking
Pages:3
Talk:Aug 01 15:23 (Session 34R: Doctoral Program)
Paper: