dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Stergiou, K. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Stergiou, K. | en |
dc.date.accessioned | 2019-11-13T10:39:56Z | |
dc.date.available | 2019-11-13T10:39:56Z | |
dc.date.issued | 2006 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53876 | |
dc.description.abstract | Constraint Satisfaction Problems and Prepositional Satisfiability, are frameworks widely used to represent and solve combinatorial problems. A concept of primary importance in both frameworks is that of constraint propagation. In this paper we study and compare the amount of propagation that can be achieved, using various methods, when translating a problem from one framework into another. Our results complement, extend, and tie together recent similar studies. We provide insight as to which translation is preferable, with respect to the strength of propagation in the original problem and the encodings. © Springer-Verlag Berlin Heidelberg 2006. | en |
dc.source | 12th International Conference on Principles and Practice of Constraint Programming, CP 2006 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-33750286065&partnerID=40&md5=5c9d36a99a72b9556cacc08a47e331f6 | |
dc.subject | Problem solving | en |
dc.subject | Signal encoding | en |
dc.subject | Translation (languages) | en |
dc.subject | Combinatorial mathematics | en |
dc.subject | Combinatorial problems | en |
dc.subject | Constraint Satisfaction Problems | en |
dc.title | Propagation in CSP and SAT | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 4204 LNCS | en |
dc.description.startingpage | 137 | |
dc.description.endingpage | 151 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | Cork Constraint Computation Centre | en |
dc.description.notes | Ecole des Mines de Nantes | en |
dc.description.notes | et al. | en |
dc.description.notes | Ilog | en |
dc.description.notes | Conference code: 68402 | en |
dc.description.notes | Cited By :7</p> | en |
dc.description.notes | <p>Sponsors: Association Francaise pour la Programmation par Contraintes | fr |
dc.description.notes | Conseil General de Loire-Atlantique | fr |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |