Keyword : combinatorial problem


Solving Open Job-Shop Scheduling Problems by SAT Encoding
Miyuki KOSHIMURA Hidetomo NABESHIMA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/08/01
Vol. E93-D  No. 8 ; pp. 2316-2318
Type of Manuscript:  LETTER
Category: Artificial Intelligence, Data Mining
Keyword: 
combinatorial problemschedulingSAT encodingjob-shop schedulingmakespan
 Summary | Full Text:PDF(68.1KB)

BEM-: An Arithmetic Boolean Expression Manipulator Using BDDs
Shin-ichi MINATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1721-1729
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
BDD (binary decision diagram)Boolean functionarithmetic Boolean expressionB-to-(Boolean-to-integer) functioncombinatorial problem
 Summary | Full Text:PDF(730.2KB)