フォロー
Paul A. Giannaros
Paul A. Giannaros
Independent
確認したメール アドレス: giannaros.org - ホームページ
タイトル
引用先
引用先
年
SAT Encodings of the At-Most-k Constraint
AM Frisch, PA Giannaros
International Workshop on Modelling and Reformulating Constraint …, 2010
87*2010
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。