搜索页_+Constraint+satisfaction

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

Springer电子图书(39)	CNKI学位论文(3885)	知网期刊论文(1980)
CNKI会议论文(9)	CNKI期刊论文0611(6)	万方学位论文(1)

在“Elsevier电子期刊”中，命中：1,176条，耗时：0.0179913 秒

在所有数据库中总计命中：5,920条

1.User satisfaction-induced demand side load management in residential buildings with user budget constraint

作者：A.S.O. Ogunjuyigbe ; T.R. Ayodele ; ^{tayodele2001@yahoo.com} ; ^{tr.ayodele@ui.edu.ng} ; O.A. Akinola

关键词：Demand side load management ; Electrical energy ; User satisfaction ; Residential buildings ; Budget constraint ; Genetic algorithm

刊名：Applied Energy

出版年：2017

2.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

3.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

4.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

5.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

6.Volume of the steady-state space of financial flows in a monetary stock-flow-consistent model

作者：Auré ; lien Hazan ^{aurelien.hazan@u-pec.fr}

关键词：Economics ; Physics and society ; Constraint satisfaction ; Monte-Carlo ; Random network ; Convex polytope ; Finance

刊名：Physica A: Statistical Mechanics and its Applications

出版年：2017

7.Hybrid cyclicity: Combining the benefits of cyclic and non-cyclic timetables

作者：Tomá ; &scaron ; Robenek^a ; ^{tomas.robenek@epfl.ch} ; Shadi Sharif Azadeh^a ; ^b ; ^{shadi.sharifazadeh@epfl.ch} ; Yousef Maknoon^a ; ^c ; ^{yousef.maknoon@epfl.ch} ; Michel Bierlaire^a ; ^{michel.bierlaire@epfl.ch}

关键词：Railway timetable ; Cyclicity ; Passenger satisfaction ; Simulated annealing ; Passenger centric train timetabling problem

刊名：Transportation Research Part C: Emerging Technologies

出版年：2017

8.Backdoors into heterogeneous classes of SAT and CSP

作者：Serge Gaspers^a ; ^{sergeg@cse.unsw.edu.au} ; Neeldhara Misra^b ; ^{mail@neeldhara.com} ; Sebastian Ordyniak^c ; ^{sordyniak@gmail.com} ; Stefan Szeider^c ; ^{stefan@szeider.net} ; Stanislav Živný ; ^d ; ^{standa.zivny@cs.ox.ac.uk}

关键词：Constraint satisfaction ; Satisfiability ; Backdoor set ; Parameterized complexity

刊名：Journal of Computer and System Sciences

出版年：2017

9.Stabilising model predictive control for discrete-time fractional-order systems

关键词：Fractional systems ; Predictive control ; Asymptotic stability ; Stability criteria ; Constraints

刊名：Automatica

出版年：2017

10.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

按检索点细分(1176)

题名(197)

关键词(433)

文摘(939)

按出版年细分(1176)

2027年及以后(49)

2017年(14)

2016年(65)

2015年(16)

2014年(17)

2013年(58)

2012年(77)

2011年(67)

2010年(59)

2009年(86)

2008年(88)

2007年(65)

2006年(44)

2005年(46)

2004年(48)

2003年(44)

2002年(46)

2001年(34)

2000年(56)

2000年及以前(197)