SHIRAI Yasuyuki Faculty of Business Administration Department of Business Management Professor |
■ Title Two Approaches for Finite-Domain Constraint Satisfaction Problems |
■ Outline Yasuyuki Shirai and Ryuzo Hasegawa Collaboration Fifth Generation Computer Systems (FGCS) 1994, Workshop W2 Automated Theorem Proving 1994/12 |
Copyright(C) 2011 Daito Bunka University, All rights reserved. |