A reactive and hybrid constraint solver. Journal of Experimental and Theoretical Artificial Intelligence, 25(1):1-22, 2013. doi abstract bibtex In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), An Approach for Dynamic Split Strategies in Constraint Solving, in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. © 2013 Copyright Taylor and Francis Group, LLC.
@article{10.1080/0952813X.2012.656328,
abstract = "In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), An Approach for Dynamic Split Strategies in Constraint Solving, in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. © 2013 Copyright Taylor and Francis Group, LLC.",
number = "1",
year = "2013",
title = "A reactive and hybrid constraint solver",
volume = "25",
pages = "1-22",
doi = "10.1080/0952813X.2012.656328",
journal = "Journal of Experimental and Theoretical Artificial Intelligence"
}
Downloads: 0
{"_id":"wqJPPHELbG3fcq6qY","bibbaseid":"anonymous-areactiveandhybridconstraintsolver-2013","downloads":0,"creationDate":"2017-03-31T20:15:32.848Z","title":"A reactive and hybrid constraint solver","author_short":null,"year":2013,"bibtype":"article","biburl":"https://1fichier.com/?j9cpurkmnv","bibdata":{"bibtype":"article","type":"article","abstract":"In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), An Approach for Dynamic Split Strategies in Constraint Solving, in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. © 2013 Copyright Taylor and Francis Group, LLC.","number":"1","year":"2013","title":"A reactive and hybrid constraint solver","volume":"25","pages":"1-22","doi":"10.1080/0952813X.2012.656328","journal":"Journal of Experimental and Theoretical Artificial Intelligence","bibtex":"@article{10.1080/0952813X.2012.656328,\n abstract = \"In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), An Approach for Dynamic Split Strategies in Constraint Solving, in Proceedings of MICAI 2005 (Vol. 3789), LNAI, Berlin: Springer, pp. 162-174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. © 2013 Copyright Taylor and Francis Group, LLC.\",\n number = \"1\",\n year = \"2013\",\n title = \"A reactive and hybrid constraint solver\",\n volume = \"25\",\n pages = \"1-22\",\n doi = \"10.1080/0952813X.2012.656328\",\n journal = \"Journal of Experimental and Theoretical Artificial Intelligence\"\n}\n\n","key":"10.1080/0952813X.2012.656328","id":"10.1080/0952813X.2012.656328","bibbaseid":"anonymous-areactiveandhybridconstraintsolver-2013","urls":{},"downloads":0,"html":""},"search_terms":["reactive","hybrid","constraint","solver"],"keywords":[],"authorIDs":[],"dataSources":["gKiCRHjjC2iGthGEx"]}