シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 Two Approaches for Finite-Domain Constraint Satisfaction Problems |
■ 概要 Yasuyuki Shirai and Ryuzo Hasegawa 共著 Fifth Generation Computer Systems (FGCS) 1994, Workshop W2 Automated Theorem Proving 1994/12 |
Copyright(C) 2011 Daito Bunka University, All rights reserved. |