搜索页_+Constraint+satisfaction+problems

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Springer电子图书(14)	ProQuest学位论文(53)	Elsevier电子期刊(493)
SpringerLink电子期刊(1008)	NATURE电子期刊(4)	ACS电子期刊(7)

在“Elsevier电子期刊”中，命中：493条，耗时：0.0389798 秒

在所有数据库中总计命中：1,579条

1.Equivariant algorithms for constraint satisfaction problems over coset templates

作者：Sławomir Lasota ^{sl@mimuw.edu.pl" class="auth_mail" title="E-mail the corresponding author}

关键词：Constraint satisfaction problems ; Bounded width ; Coset templates ; Local consistency algorithms ; Combinatorial problems

刊名：Information Processing Letters

出版年：2017

2.Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems

关键词：Structural decomposition methods ; Games on discrete structures ; Conjunctive queries and databases ; Constraint satisfaction problems ; Hypertree decompositions ; Tree projections ; Homomorphism problem

刊名：Information and Computation

出版年：2017

3.Reference and command governors for systems with constraints: A survey on theory and applications

作者：Emanuele Garone^a ; ^{egarone@ulb.ac.be}Author Vitae ; Stefano Di Cairano^b ; ^{dicairano@ieee.org}Author Vitae ; Ilya Kolmanovsky^c ; ^{ilya@umich.edu}Author Vitae

关键词：Constraints ; Constraint satisfaction problems ; Model based control ; Predictive control ; Control applications ; Aerospace control ; Automotive control

刊名：Automatica

出版年：2017

4.A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming

作者：Peng Zhang ; Yong Gao ; ^{yong.gao@ubc.ca}

关键词：Generalized solution concepts ; Super solutions ; Satisfiability ; Constraint satisfaction ; Random instances ; Probabilistic method ; Threshold phenomena

刊名：Theoretical Computer Science

出版年：2017

5.Using autonomous search for solving constraint satisfaction problems via new modern approaches

作者：Ricardo Soto^a ; ^b ; ^c ; Broderick Crawford^a ; ^d ; ^e ; Rodrigo Olivares^a ; ^f ; ^{rodrigo.olivares@uv.cl" class="auth_mail" title="E-mail the corresponding author} ; Cristian Galleguillos^a ; Carlos Castro^g ; Franklin Johnson^h ; Fernando Paredesⁱ ; Enrique Norero^j

关键词：Constraint programming ; Autonomous search ; Metaheuristics ; Constraint satisfaction problems ; Enumeration strategies ; Optimizer-algorithms

刊名：Swarm and Evolutionary Computation

出版年：2016

6.Distance constraint satisfaction problems

作者：Manuel Bodirsky^a ; ¹ ; ^{bodirsky@lix.polytechnique.fr" class="auth_mail" title="E-mail the corresponding author} ; Victor Dalmau^b ; ² ; Barnaby Martin^c ; ⁴ ; Antoine Mottet^a ; ¹ ; Michael Pinsker^d ; ³

关键词：Constraint satisfaction problems ; Complexity dichotomy ; Integers with successor ; Reducts ; Primitive positive definability ; Endomorphisms

刊名：Information and Computation

出版年：2016

7.Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems

作者：Martin C. Cooper^a ; ^{cooper@irit.fr" class="auth_mail" title="E-mail the corresponding author} ; Aymeric Duchein^a ; ^{Aymeric.Duchein@irit.fr" class="auth_mail" title="E-mail the corresponding author} ; Achref El Mouelhi^b ; ^{achref.elmouelhi@lsis.org" class="auth_mail" title="E-mail the corresponding author} ; Guillaume Escamocher^c ; ^{guillaume.escamocher@insight-centre.org" class="auth_mail" title="E-mail the corresponding author} ; Cyril Terrioux^b ; ^{cyril.terrioux@lsis.org" class="auth_mail" title="E-mail the corresponding author} ; Bruno Zanuttini^d ; ^{bruno.zanuttini@unicaen.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：CSP ; Constraint satisfaction ; Domain reduction ; Tractable class ; Hybrid tractability ; NP-completeness ; Global constraints

刊名：Artificial Intelligence

出版年：2016

8.Constraint satisfaction and semilinear expansions of addition over the rationals and the reals

作者：Peter Jonsson^a ; ¹ ; ^{peter.jonsson@liu.se" class="auth_mail" title="E-mail the corresponding author} ; Johan Thapper^b ; ^{thapper@u-pem.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Constraint satisfaction problems ; Semilinear sets ; Algorithms ; Computational complexity

刊名：Journal of Computer and System Sciences

出版年：2016

9.Distributed constraint optimization for addressing vessel rotation planning problems

作者：Shijie Li ; ^{s.li-2@tudelft.nl" class="auth_mail" title="E-mail the corresponding author} ; Rudy R. Negenborn ^{r.r.negenborn@tudelft.nl" class="auth_mail" title="E-mail the corresponding author} ; Gabriel Lodewijks ^{g.lodewijks@tudelft.nl" class="auth_mail" title="E-mail the corresponding author}

关键词：Multi-agent systems ; Distributed constraint satisfaction ; Vessel rotation planning

刊名：Engineering Applications of Artificial Intelligence

出版年：2016

10.Conservative constraint satisfaction re-revisited

作者：Andrei A. Bulatov¹ ; ^{abulatov@sfu.ca" class="auth_mail" title="E-mail the corresponding author}

关键词：Constraint satisfaction problem ; Complexity ; Dichotomy ; Algebraic approach

刊名：Journal of Computer and System Sciences

出版年：2016

按检索点细分(493)

题名(69)

关键词(94)

文摘(347)

按出版年细分(493)

2027年及以后(23)

2017年(4)

2016年(14)

2015年(2)

2014年(2)

2013年(18)

2012年(30)

2011年(18)

2010年(22)

2009年(42)

2008年(49)

2007年(34)

2006年(24)

2005年(20)

2004年(17)

2003年(19)

2002年(25)

2001年(18)

2000年(24)

2000年及以前(88)