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...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 4 |
|---|---|
| container_issue | |
| container_start_page | 1 |
| container_title | |
| container_volume | |
| creator | Zhan-shan Li Hui-ying Du Shi-mei Xing Fan-wei Meng |
| description | 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 consistency. The algorithm sorts the value of the variables' domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms. |
| doi_str_mv | 10.1109/IWISA.2010.5473285 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5473285</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5473285</ieee_id><sourcerecordid>5473285</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-c596eb4842e4ccf06e38311f9d32004ffa98038a36ca9e1b63b119fe311e8c513</originalsourceid><addsrcrecordid>eNpFT11LwzAUjchA3foH9CV_oDM3H23yWIu6ymAPG_o40vRmi3SrpJ3gv7fixPNyOB9c7iHkFtgcgJn76q1aF3PORq1kLrhWFyQxuQbJpVQ6l-qS3PwJzq9I0vfvbIRUPIP8mry82vaEdBUbjOG4ows8xdAPwVHfRbru2s8ft2h3XQzD_kAfbI8N7Y502CMtylT-ZzMy8bbtMTnzlGyeHjflIl2unquyWKbBsCF1ymRYSy05Suc8y1BoAeBNI_j4lvfWaCa0FZmzBqHORA1gPI4d1E6BmJK737MBEbcfMRxs_Nqe14tvknFMwg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Zhan-shan Li ; Hui-ying Du ; Shi-mei Xing ; Fan-wei Meng</creator><creatorcontrib>Zhan-shan Li ; Hui-ying Du ; Shi-mei Xing ; Fan-wei Meng</creatorcontrib><description>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 consistency. The algorithm sorts the value of the variables' domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.</description><identifier>ISBN: 1424458722</identifier><identifier>ISBN: 9781424458721</identifier><identifier>EISBN: 9781424458745</identifier><identifier>EISBN: 1424458749</identifier><identifier>DOI: 10.1109/IWISA.2010.5473285</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer science ; Computer science education ; Costs ; Counting circuits ; Data structures ; Hardware ; Heuristic algorithms ; Knowledge engineering ; Laboratories ; Space technology</subject><ispartof>2010 2nd International Workshop on Intelligent Systems and Applications, 2010, p.1-4</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5473285$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5473285$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Zhan-shan Li</creatorcontrib><creatorcontrib>Hui-ying Du</creatorcontrib><creatorcontrib>Shi-mei Xing</creatorcontrib><creatorcontrib>Fan-wei Meng</creatorcontrib><title>Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm</title><title>2010 2nd International Workshop on Intelligent Systems and Applications</title><addtitle>IWISA</addtitle><description>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 consistency. The algorithm sorts the value of the variables' domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.</description><subject>Computer science</subject><subject>Computer science education</subject><subject>Costs</subject><subject>Counting circuits</subject><subject>Data structures</subject><subject>Hardware</subject><subject>Heuristic algorithms</subject><subject>Knowledge engineering</subject><subject>Laboratories</subject><subject>Space technology</subject><isbn>1424458722</isbn><isbn>9781424458721</isbn><isbn>9781424458745</isbn><isbn>1424458749</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFT11LwzAUjchA3foH9CV_oDM3H23yWIu6ymAPG_o40vRmi3SrpJ3gv7fixPNyOB9c7iHkFtgcgJn76q1aF3PORq1kLrhWFyQxuQbJpVQ6l-qS3PwJzq9I0vfvbIRUPIP8mry82vaEdBUbjOG4ows8xdAPwVHfRbru2s8ft2h3XQzD_kAfbI8N7Y502CMtylT-ZzMy8bbtMTnzlGyeHjflIl2unquyWKbBsCF1ymRYSy05Suc8y1BoAeBNI_j4lvfWaCa0FZmzBqHORA1gPI4d1E6BmJK737MBEbcfMRxs_Nqe14tvknFMwg</recordid><startdate>201005</startdate><enddate>201005</enddate><creator>Zhan-shan Li</creator><creator>Hui-ying Du</creator><creator>Shi-mei Xing</creator><creator>Fan-wei Meng</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201005</creationdate><title>Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm</title><author>Zhan-shan Li ; Hui-ying Du ; Shi-mei Xing ; Fan-wei Meng</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-c596eb4842e4ccf06e38311f9d32004ffa98038a36ca9e1b63b119fe311e8c513</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Computer science</topic><topic>Computer science education</topic><topic>Costs</topic><topic>Counting circuits</topic><topic>Data structures</topic><topic>Hardware</topic><topic>Heuristic algorithms</topic><topic>Knowledge engineering</topic><topic>Laboratories</topic><topic>Space technology</topic><toplevel>online_resources</toplevel><creatorcontrib>Zhan-shan Li</creatorcontrib><creatorcontrib>Hui-ying Du</creatorcontrib><creatorcontrib>Shi-mei Xing</creatorcontrib><creatorcontrib>Fan-wei Meng</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Zhan-shan Li</au><au>Hui-ying Du</au><au>Shi-mei Xing</au><au>Fan-wei Meng</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm</atitle><btitle>2010 2nd International Workshop on Intelligent Systems and Applications</btitle><stitle>IWISA</stitle><date>2010-05</date><risdate>2010</risdate><spage>1</spage><epage>4</epage><pages>1-4</pages><isbn>1424458722</isbn><isbn>9781424458721</isbn><eisbn>9781424458745</eisbn><eisbn>1424458749</eisbn><abstract>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 consistency. The algorithm sorts the value of the variables' domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.</abstract><pub>IEEE</pub><doi>10.1109/IWISA.2010.5473285</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 1424458722 |
| ispartof | 2010 2nd International Workshop on Intelligent Systems and Applications, 2010, p.1-4 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_5473285 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Computer science Computer science education Costs Counting circuits Data structures Hardware Heuristic algorithms Knowledge engineering Laboratories Space technology |
| title | Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T23%3A23%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Value%20Ordering%20Heuristic%20for%20Solving%20Algorithm%20Based%20on%20the%20AC-4%20Algorithm&rft.btitle=2010%202nd%20International%20Workshop%20on%20Intelligent%20Systems%20and%20Applications&rft.au=Zhan-shan%20Li&rft.date=2010-05&rft.spage=1&rft.epage=4&rft.pages=1-4&rft.isbn=1424458722&rft.isbn_list=9781424458721&rft_id=info:doi/10.1109/IWISA.2010.5473285&rft_dat=%3Cieee_6IE%3E5473285%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781424458745&rft.eisbn_list=1424458749&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5473285&rfr_iscdi=true |