Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm

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 information which is recorded in the data structure of the AC-4 algorithm during the process of arc consist...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Zhan-shan Li, Hui-ying Du, Shi-mei Xing, Fan-wei Meng
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Computer science education Costs Counting circuits Data structures Hardware Heuristic algorithms Knowledge engineering Laboratories Space technology
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!