咨询与建议

限定检索结果

文献类型

  • 1,016 篇 期刊文献
  • 814 篇 会议
  • 22 篇 学位论文

馆藏范围

  • 1,852 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,593 篇 工学
    • 1,324 篇 计算机科学与技术...
    • 487 篇 软件工程
    • 177 篇 电气工程
    • 137 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 49 篇 土木工程
    • 39 篇 交通运输工程
    • 36 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 10 篇 电子科学与技术(可...
    • 9 篇 动力工程及工程热...
  • 613 篇 管理学
    • 594 篇 管理科学与工程(可...
    • 119 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 482 篇 理学
    • 359 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,852 篇 constraint progr...
  • 174 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 29 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 28 篇 machine learning
  • 25 篇 mixed integer li...
  • 23 篇 linear programmi...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 mixed-integer pr...
  • 22 篇 planning
  • 22 篇 global constrain...
  • 22 篇 constraint propa...
  • 20 篇 search

机构

  • 24 篇 pontificia univ ...
  • 13 篇 univ autonoma ch...
  • 13 篇 univ st andrews ...
  • 12 篇 univ toronto dep...
  • 11 篇 univ san sebasti...
  • 10 篇 univ cient sur l...
  • 9 篇 univ bologna dei...
  • 9 篇 brown univ provi...
  • 8 篇 univ tehran coll...
  • 8 篇 univ cent chile ...
  • 7 篇 carnegie mellon ...
  • 7 篇 univ playa ancha...
  • 7 篇 natl univ irelan...
  • 7 篇 univ valparaiso ...
  • 7 篇 new mexico state...
  • 6 篇 katholieke univ ...
  • 6 篇 natl yunlin univ...
  • 6 篇 univ nantes lina...
  • 6 篇 natl univ irelan...
  • 6 篇 hacettepe univ d...

作者

  • 30 篇 crawford broderi...
  • 28 篇 beck j. christop...
  • 26 篇 stuckey peter j.
  • 24 篇 monfroy eric
  • 23 篇 soto ricardo
  • 23 篇 schaus pierre
  • 21 篇 rousseau louis-m...
  • 20 篇 milano michela
  • 18 篇 van hentenryck p...
  • 17 篇 lombardi michele
  • 17 篇 o'sullivan barry
  • 16 篇 miguel ian
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nightingale pete...
  • 12 篇 nijssen siegfrie...

语言

  • 1,739 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1852 条 记 录,以下是281-290 订阅
排序:
Cloud Service Matchmaking using constraint programming  24
Cloud Service Matchmaking using Constraint Programming
收藏 引用
IEEE 24th International Conference on Enabling Technologies Infrastructures for Collaborative Enterprises
作者: Zilci, Begum Ilke Slawik, Mathias Kuepper, Axel Tech Univ Berlin Serv Centr Networking Berlin Germany
Service requesters with limited technical knowledge should be able to compare services based on their quality of service (QoS) requirements in cloud service marketplaces. Existing service matching approaches focus on ... 详细信息
来源: 评论
A constraint programming approach to tool allocation and production scheduling in flexible manufacturing systems
A constraint programming approach to tool allocation and pro...
收藏 引用
19th International Conference on Flexible Automation and Intelligent Manufacturing
作者: Zeballos, L. J. Univ Nacl Litoral Fac Ingn Quim Dept Ingn Ind RA-3000 Santa Fe Argentina Univ Nacl Litoral INTEC CONICET RA-3000 Santa Fe Argentina
This paper presents a constraint programming (CP) methodology to deal with the scheduling of flexible manufacturing systems (FMSs). The proposed approach, which consists of both a model and a search strategy, handles ... 详细信息
来源: 评论
Automated Modelling and Solving in constraint programming  24
Automated Modelling and Solving in Constraint Programming
收藏 引用
24th AAAI Conference on Artificial Intelligence (AAAI)
作者: O'Sullivan, Barry Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
constraint programming can be divided very crudely into modeling and solving. Modeling defines the problem, in terms of variables that can take on different values, subject to restrictions (constraints) on which combi... 详细信息
来源: 评论
Model Expansion in the Presence of Function Symbols Using constraint programming
Model Expansion in the Presence of Function Symbols Using Co...
收藏 引用
25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: De Cat, Broes Bogaerts, Bart Devriendt, Jo Denecker, Marc Katholieke Univ Leuven Dept Comp Sci Leuven Belgium
The traditional approach to Model Expansion (MX) is to reduce the theory to a propositional language and apply a search algorithm to the resulting theory. Function symbols are typically replaced by predicate symbols r... 详细信息
来源: 评论
Optimal Beacon Placement for Indoor Positioning Using constraint programming  19
Optimal Beacon Placement for Indoor Positioning Using Constr...
收藏 引用
19th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
作者: Loeffler, Sven Kroll, Franz Becker, Ilja Hofstedt, Petra Brandenburg Tech Univ Cottbus Programming Languages & Compiler Construct Cottbus Germany
Indoor location is a growing topic for hospitals, retirement homes and in case of emergency. For the resource efficient (indoor) positioning of mobile individuals an optimized distribution of the used sensors is neces... 详细信息
来源: 评论
A constraint programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes  22nd
A Constraint Programming Approach to Multi-Robot Task Alloca...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Booth, Kyle E. C. Nejat, Goldie Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
We study the application of constraint programming (CP) to the planning and scheduling of multiple social robots interacting with residents in a retirement home. The robots autonomously organize and facilitate group a... 详细信息
来源: 评论
A constraint programming Approach for Aircraft Disassembly Scheduling  1
收藏 引用
21st International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Thomas, Charles Schath, Pierre UCLouvain Ottignies Belgium
The dismantling and recycling of aircrafts is one of the future challenges for the air transport industry in terms of sustainability. This problem is hard to solve and optimize as planning operations are highly constr... 详细信息
来源: 评论
Using constraint programming and local search methods to solve vehicle routing problems  4th
收藏 引用
4th International Conference on Principles and Practice of constraint programming (CP 98)
作者: Shaw, P ILOG SA F-94253 Gentilly France Univ Strathclyde Dept Comp Sci Glasgow G1 1XQ Lanark Scotland
We use a local search method we term Large Neighbourhood Search (LNS) to solve vehicle routing problems. LNS is analogous to the shuffling technique of job-shop scheduling, and so meshes well with constraint programmi... 详细信息
来源: 评论
A constraint programming approach to capacity planning in container vessels
收藏 引用
MARITIME ECONOMICS & LOGISTICS 2022年 第2期24卷 415-438页
作者: Lee, Byung Kwon Low, Joyce M. W. Natl Univ Singapore Dept Ind Syst Engn & Management 1 Engn Dr 2 Singapore 117576 Singapore Singapore Management Univ Lee Kong Chian Sch Business 50 Stamford Rd Singapore 178899 Singapore
A container vessel carries containers of various characteristics, in terms of size, weight, and contents. The cargo load of a container vessel, being subjected to a set of operational conditions and restrictions regar... 详细信息
来源: 评论
A constraint programming approach for the design problem of cellular wireless networks
A constraint programming approach for the design problem of ...
收藏 引用
15th IEEE Canadian Conference on Electrical and Computer Engineering
作者: Pomerleau, Y Chamberland, S Pesant, G Ecole Polytech Dept Comp Engn Montreal PQ H3C 3A7 Canada
In this paper, we propose a constraint programming model for the design problem of cellular wireless communication networks. It consists of selecting the location of the base station controllers (BSCs) and mobile serv... 详细信息
来源: 评论