File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Article: Algorithms for quantified constraint satisfaction problems
Title | Algorithms for quantified constraint satisfaction problems |
---|---|
Authors | |
Issue Date | 2004 |
Publisher | Springer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/ |
Citation | Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2004, v. 3258, p. 752-756 How to Cite? |
Abstract | Many propagation and search algorithms have been developed for constraint satisfaction problems (CSPs). In a standard CSP all variables are existentially quantified. The CSP formalism can be extended to allow universally quantified variables, in which case the complexity of the basic reasoning tasks rises from NP-complete to PSPACE-complete. Such problems have, so far, been studied mainly in the context of quantified Boolean formulae. Little work has been done on problems with discrete non-Boolean domains. We attempt to fill this gap by extending propagation and search algorithms from standard CSPs to the quantified case. We also show how the notion of value interchangeability can be exploited to break symmetries and speed up search by orders of magnitude. Finally, we test experimentally the algorithms and methods proposed. © Springer-Verlag Berlin Heidelberg 2004. |
Persistent Identifier | http://hdl.handle.net/10722/93257 |
ISSN | 2020 SCImago Journal Rankings: 0.249 |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mamoulis, N | en_HK |
dc.contributor.author | Stergiou, K | en_HK |
dc.date.accessioned | 2010-09-25T14:55:38Z | - |
dc.date.available | 2010-09-25T14:55:38Z | - |
dc.date.issued | 2004 | en_HK |
dc.identifier.citation | Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2004, v. 3258, p. 752-756 | en_HK |
dc.identifier.issn | 0302-9743 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/93257 | - |
dc.description.abstract | Many propagation and search algorithms have been developed for constraint satisfaction problems (CSPs). In a standard CSP all variables are existentially quantified. The CSP formalism can be extended to allow universally quantified variables, in which case the complexity of the basic reasoning tasks rises from NP-complete to PSPACE-complete. Such problems have, so far, been studied mainly in the context of quantified Boolean formulae. Little work has been done on problems with discrete non-Boolean domains. We attempt to fill this gap by extending propagation and search algorithms from standard CSPs to the quantified case. We also show how the notion of value interchangeability can be exploited to break symmetries and speed up search by orders of magnitude. Finally, we test experimentally the algorithms and methods proposed. © Springer-Verlag Berlin Heidelberg 2004. | en_HK |
dc.language | eng | en_HK |
dc.publisher | Springer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/ | en_HK |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_HK |
dc.title | Algorithms for quantified constraint satisfaction problems | en_HK |
dc.type | Article | en_HK |
dc.identifier.email | Mamoulis, N:nikos@cs.hku.hk | en_HK |
dc.identifier.authority | Mamoulis, N=rp00155 | en_HK |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.scopus | eid_2-s2.0-33750291991 | en_HK |
dc.identifier.hkuros | 103372 | en_HK |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-33750291991&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 3258 | en_HK |
dc.identifier.spage | 752 | en_HK |
dc.identifier.epage | 756 | en_HK |
dc.publisher.place | Germany | en_HK |
dc.identifier.scopusauthorid | Mamoulis, N=6701782749 | en_HK |
dc.identifier.scopusauthorid | Stergiou, K=35575234700 | en_HK |
dc.identifier.issnl | 0302-9743 | - |