论文信息 - Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP - 字舞流文

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP

Ian Miguel | Ozgur Akgun | András Z. Salamon | Nguyen Dang | Christopher Stone | Patrick Spracklen | I. Miguel | Nguyen Dang | Ozgur Akgun | Christopher Stone | Patrick Spracklen