@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID29992 . @prefix pubblicazioni: . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID2084 pubblicazioni:autoreCNRDi prodotto:ID29992 . @prefix modulo: . modulo:ID2254 prodottidellaricerca:prodotto prodotto:ID29992 . @prefix rdf: . @prefix retescientifica: . prodotto:ID29992 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1101 . @prefix rdfs: . prodotto:ID29992 rdfs:label "Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista)"@en . @prefix xsd: . prodotto:ID29992 pubblicazioni:anno "2008-01-01T00:00:00+01:00"^^xsd:gYear ; pubblicazioni:doi "10.1080/09528130802667690"^^xsd:string . @prefix skos: . prodotto:ID29992 skos:altLabel "
[1] Bistarelli S.,Codognet P., Hui H.K.C., Lee J.H.M. (2008)
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree
in Journal of experimental and theoretical artificial intelligence (Print); TAYLOR & FRANCIS LTD, London (Regno Unito)
"^^rdf:HTML ; pubblicazioni:autori "[1] Bistarelli S.,Codognet P., Hui H.K.C., Lee J.H.M."^^xsd:string ; pubblicazioni:paginaInizio "233"^^xsd:string ; pubblicazioni:paginaFine "257"^^xsd:string ; pubblicazioni:altreInformazioni "http://www.sci.unich.it/~bista/papers/papers-download/moroccojournal07revised.pdf"^^xsd:string ; pubblicazioni:numeroVolume "21"^^xsd:string . @prefix ns11: . prodotto:ID29992 pubblicazioni:rivista ns11:ID506778 ; pubblicazioni:note "to be published"^^xsd:string ; pubblicazioni:numeroFascicolo "4"^^xsd:string ; pubblicazioni:affiliazioni "[1] CNR-IIT, Pisa, Italy; [2] Department of Computer Science University of Paris 6, France; [3] Department of Computer Science and Engineering, The Chinese University of Hong Kong, China"^^xsd:string ; pubblicazioni:titolo "Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree"^^xsd:string ; prodottidellaricerca:abstract "We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalised view of local consistency in semiring-based constraint satisfaction problems, we define constraint hierarchy k-consistency (CH-k-C) and give a CH-2-C enforcement algorithm. We demonstrate how the CH-2-C algorithm can be seamlessly integrated into the ordinary branch-and-bound algorithm to make it a finite domain (FD) CH solver. Experimentation confirms the efficiency and robustness of our proposed solver prototype. Unlike other FD CH solvers, our proposed method works for both local and global comparators. In addition, our solver can support arbitrary error functions."@en , "constraint hierarchies, Algorithm" . @prefix ns12: . prodotto:ID29992 pubblicazioni:editore ns12:ID13550 ; prodottidellaricerca:prodottoDi istituto:CDS044 , modulo:ID2254 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID2084 . @prefix parolechiave: . prodotto:ID29992 parolechiave:insiemeDiParoleChiave . ns11:ID506778 pubblicazioni:rivistaDi prodotto:ID29992 . ns12:ID13550 pubblicazioni:editoreDi prodotto:ID29992 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID29992 .