Theo dõi
Paul A. Giannaros
Paul A. Giannaros
Independent
Email được xác minh tại giannaros.org - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
SAT Encodings of the At-Most-k Constraint
AM Frisch, PA Giannaros
International Workshop on Modelling and Reformulating Constraint …, 2010
87*2010
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.