咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1,854 篇 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,741 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1854 条 记 录,以下是261-270 订阅
排序:
constraint programming Approach to Reconfigurable Processor Extension Generation and Application Compilation
收藏 引用
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS 2012年 第2期5卷 10-10页
作者: Martin, Kevin Wolinski, Christophe Kuchcinski, Krzysztof Floch, Antoine Charot, Francois Lund Univ Dept Comp Sci S-22100 Lund Sweden Univ Rennes 1 IRISA F-35014 Rennes France INRIA Rennes France
In this article, we present a constraint programming approach for solving hard design problems present when automatically designing specialized processor extensions. Specifically, we discuss our approach for automatic... 详细信息
来源: 评论
An Application of the constraint programming to the Design and Operation of Synthetic Aperture Radars
An Application of the Constraint Programming to the Design a...
收藏 引用
IEEE Conference on High Performance Extreme Computing (HPEC)
作者: Holzrichter, Michael Sandia Natl Labs Albuquerque NM 87185 USA
The design and operation of synthetic aperture radars require compatible sets of hundreds of quantities. Compatibility is achieved when these quantities satisfy constraints arising from physics, geometry etc. In the a... 详细信息
来源: 评论
Technology and system of constraint programming for industry production scheduling-Part I: A brief survey and potential directions
收藏 引用
机械工程前沿 2010年 第4期5卷 455-464页
作者: Yarong CHEN Zailin GUAN Yunfang PENG Xinyu SHAO Muhammad HASSEB State Key Lab of Digital Manufacturing Equipment & Technology Huazhong University of Science and TechnologyWuhan 430074China Mechanical & Electrical Engineering College Wenzhou UniversityWenzhou 325035China State Key Lab of Digital Manufacturing Equipment & Technology Huazhong University of Science and TechnologyWuhan 430074China State Key Lab of Digital Manufacturing Equipment & Technology Huazhong University of Science and TechnologyWuhan 430074China Comsats Institute of Information Technology Abbottabad 22010Pakistan
The use of techniques and system of constraint programming enables the implementation of precise, flexible, efficient, and extensible scheduling systems. It has been identified as a strategic direction and dominant fo... 详细信息
来源: 评论
constraint programming-based solution approaches for three-dimensional loading capacitated vehicle routing problems
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2022年 第0期171卷
作者: Kucuk, Mustafa Yildiz, Seyda Topaloglu Dokuz Eylul Univ Grad Sch Nat & Appl Sci Izmir Turkey Dokuz Eylul Univ Dept Ind Engn Izmir Turkey
This paper presents constraint programming-based solution approaches for the three-dimensional loading capacitated vehicle routing problem (3l-CVRP) that consists of vehicle routing and three-dimensional loading probl... 详细信息
来源: 评论
constraint programming Systems for Modeling Music Theories and Composition
收藏 引用
ACM COMPUTING SURVEYS 2011年 第4期43卷 30-30页
作者: Anders, Torsten Miranda, Eduardo R. Univ Plymouth ICCMR Plymouth PL4 8AA Devon England
constraint programming is well suited for the computational modeling of music theories and composition: its declarative and modular approach shares similarities with the way music theory is traditionally expressed, na... 详细信息
来源: 评论
Integration and propagation of a multi-criteria decision making model in constraint programming
收藏 引用
JOURNAL OF HEURISTICS 2006年 第4-5期12卷 329-346页
作者: Le Huédé, F Grabisch, M Labreuche, C Savéant, P THALES Res & Technol France F-91401 Orsay France Univ Paris 01 F-75231 Paris 05 France Univ Paris 06 LIP 6 F-75015 Paris France
In this paper we propose a general integration scheme for a Multi-Criteria Decision Making model of the Multi-Attribute Utility Theory in constraint programming. We introduce the Choquet integral as a general aggregat... 详细信息
来源: 评论
Optimatch: Applying constraint programming to workforce management of highly-skilled employees
Optimatch: Applying constraint programming to workforce mana...
收藏 引用
IEEE International Conference on Service Operations and Logistics and Informatics
作者: Richter, Yossi Naveh, Yehuda Gresh, Donna L. Connors, Daniel P. IBM Haifa Res Lab Haifa Univ Campus IL-31905 Haifa Israel IBM Div Res Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA
Today many companies face the challenge of matching highly-skilled professionals to high-end positions in large organizations and human deployment agencies. Unlike traditional Workforce Management problems such as shi... 详细信息
来源: 评论
A multi-scale constraint programming model of alternative splicing regulation
收藏 引用
THEORETICAL COMPUTER SCIENCE 2004年 第1期325卷 3-24页
作者: Eveillard, D Ropers, D de Jong, H Branlant, C Bockmayr, A Univ Henri Poincare LORIA F-54506 Vandoeuvre Les Nancy France UHP CNRS UMR 7567 Lab Maturat ARN & Enzymol Mol F-54506 Vandoeuvre Les Nancy France INRIA Rhone Alpes F-38334 Saint Ismier France
Alternative splicing is a key process in post-transcriptional regulation, by which different mature RNA can be obtained from the same premessenger RNA. The resulting combinatorial complexity contributes to biological ... 详细信息
来源: 评论
DISPDESK: A logistic constraint programming system for construction machinery
DISPDESK: A logistic constraint programming system for const...
收藏 引用
IEEE International Conference on Service Operations and Logistics and Informatics
作者: Zheng, Yujun Yang, Junwei Zhu, Yuling Xue, Jinyun Syst Engn Res Inst Engn Equipment Beijing 100093 Peoples R China Natl Key Lab Remfg Beijing 100072 Peoples R China Syst Engn Res Inst Engneer Equipment Beijing 100093 Peoples R China Jiangxi Normal Univ Coll Comp Informat Engn Nanchang 330027 Peoples R China
Logistic planning and programming of construction machinery involves complex sets of objectives and constraints;therefore traditional approaches typically result in a large monolithic model that is difficult to solve,... 详细信息
来源: 评论
constraint programming Approach to Optimizing Project Schedules under Material Logistics and Crew Availability constraints
收藏 引用
JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT 2018年 第7期144卷 4018049.1-4018049.1页
作者: Liu, Jing Lu, Ming Univ Alberta Dept Civil & Environm Engn Edmonton AB T6G 2W2 Canada
With increasing implementation of off-site prefabrication and modular construction technologies, the complexity of material supply chain management on construction projects has grown substantially. However, research o... 详细信息
来源: 评论