IEEE - Institute of Electrical and Electronics Engineers, Inc. - Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm

2010 2nd International Workshop on Intelligent Systems and Applications (ISA)

Author(s): Zhan-shan Li ; Hui-ying Du ; Shi-mei Xing ; Fan-wei Meng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2010
Conference Location: Wuhan, China, China
Conference Date: 22 May 2010
Page(s): 1 - 4
ISBN (Electronic): 978-1-4244-5874-5
ISBN (Paper): 978-1-4244-5872-1
DOI: 10.1109/IWISA.2010.5473285
Regular:

We have studied the AC-4 algorithm and then present value ordering heuristic for solving algorithm BT-MSV which is based on the AC-4 algorithm. This algorithm takes full advantage of supported... View More

Advertisement