SHIRAI Yasuyuki   Faculty of Business Administration Department of Business Management   Professor

■ Title   Constraint Propagation of CP and CMGTP : Experiments on Quasigroup Problems

■ Outline      Collaboration   Workshop 1C (Automated Reasoning in Algebra), 12th International Conference on Automated Deduction (CADE-12), Nancy, France      1994/06

Copyright(C) 2011 Daito Bunka University, All rights reserved.