咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
A Comparison of constraint programming and Mixed-Integer programming for Automated Test-Form Generation
收藏 引用
JOURNAL OF EDUCATIONAL MEASUREMENT 2018年 第4期55卷 435-456页
作者: Li, Jie van der Linden, Wim J. McGraw Hill Educ 8787 Orion Pl Columbus OH 43240 USA Univ Twente Measurement & Data Anal NL-7500 AE Enschede Netherlands
The final step of the typical process of developing educational and psychological tests is to place the selected test items in a formatted form. The step involves the grouping and ordering of the items to meet a varie... 详细信息
来源: 评论
Pyconstruct: constraint programming Meets Structured Prediction  27
Pyconstruct: Constraint Programming Meets Structured Predict...
收藏 引用
27th International Joint Conference on Artificial Intelligence (IJCAI)
作者: Dragone, Paolo Teso, Stefano Passerini, Andrea Univ Trento Trento Italy TIM SKIL Trento Italy Katholieke Univ Leuven Leuven Belgium
Constructive learning is the task of learning to synthesize structured objects from data. Examples range from classical sequence labeling to layout synthesis and drug design. Learning in these scenarios involves repea... 详细信息
来源: 评论
Stratified Constructive Disjunction and Negation in constraint programming  30
Stratified Constructive Disjunction and Negation in Constrai...
收藏 引用
30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Gotlieb, Arnaud Marijan, Dusica Spieker, Helge Simula Res Lab POB 134 Lysaker Norway
constraint programming (CP) is a powerful declarative programming paradigm combining inference and search in order to find solutions to various type of constraint systems. Dealing with highly disjunctive constraint sy... 详细信息
来源: 评论
A Comparative Analysis of constraint programming and Metaheuristics for Job-Shop Scheduling  29
A Comparative Analysis of Constraint Programming and Metaheu...
收藏 引用
29th International Conference on Cybernetics & Informatics (K&I)
作者: Gregor, Michal Hrubos, Marian Nemec, Dusan Univ Zilina Dept Control & Informat Syst Fac Elect Engn Zilina Slovakia
The paper considers two kinds of optimization methods: constraint programming and metaheuristic search. It shows how each of the approaches can be applied to multiple instances of the job shop scheduling problem and c... 详细信息
来源: 评论
A new constraint programming model and a linear programming-based adaptive large neighborhood search for the vehicle routing problem with synchronization constraints
arXiv
收藏 引用
arXiv 2019年
作者: Hà, Minh Hoàng Nguyen, Tat Dat Duy, Thinh Nguyen Pham, Hoang Giang Do, Thuy Rousseau, Louis-Martin ORLab VNU University of Engineering and Technology Hanoi Viet Nam Department of Computer Science and Operations Research Université de Montréal CIRRELT MontréalQC Canada École Polytechnique de Montréal CIRRELT Montréal Canada
We consider a vehicle routing problem which seeks to minimize cost subject to time window and synchronization constraints. In this problem, the fleet of vehicles is categorized into regular and special vehicles. Some ... 详细信息
来源: 评论
Scheduling of Malleable Fork-Join Tasks with constraint programming  6
Scheduling of Malleable Fork-Join Tasks with Constraint Prog...
收藏 引用
6th International Symposium on Computing and Networking (CANDAR)
作者: Nishikawa, Hiroki Shimada, Kana Taniguchi, Ittetsu Tomiyama, Hiroyuki Ritsumeikan Univ Grad Sch Sci & Engn Kusatsu Shiga Japan Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka Japan
This paper proposes a scheduling method for fork-join malleable tasks based on constraint programming (CP). For a given task-graph, each of the tasks can be split into multiple sub-tasks, and each sub-task is schedule... 详细信息
来源: 评论
Solving the Unrelated Parallel Machine Scheduling Problem with Additional Resources Using constraint programming  10th
Solving the Unrelated Parallel Machine Scheduling Problem wi...
收藏 引用
10th Asian Conference on Intelligent Information and Database Systems (ACIIDS)
作者: Arbaoui, Taha Yalaoui, Farouk Univ Technol Troyes UMR CNRS 6281 Charles Delaunay Inst ICD LOSI Lab Ind Syst Optimizat 12 Rue Marie CurieCS 42060 F-10004 Troyes France
This work studies the Unrelated Parallel Machine scheduling problem subject to additional Resources (UPMR). A set of jobs are to be processed by a set of unrelated parallel machines. The processing time and the number... 详细信息
来源: 评论
A Decision Support System based on constraint programming and Airspace Digitalization for Cooperative Flight Departures to improve ATM network service competitiveness
A Decision Support System based on Constraint Programming an...
收藏 引用
作者: Nina Rebecca Schefers Autonomous University of Barcelona
学位级别:博士
The research work carried out in this dissertation proposes a new mechanism to apply a strategic shifting of Estimated Take-Off Times within their Calculated Take-Off Time Windows to reduce the probability of Air Traf... 详细信息
来源: 评论
Guaranteed Deterministic Global Optimization using constraint programming through Algebraic, Functional and Piecewise Differential constraints
Guaranteed Deterministic Global Optimization using Constrain...
收藏 引用
作者: Hugo Joudrier Universite Grenoble Alpes
学位级别:博士
In this thesis a set of tools based on guaranteed methods are presented in order to solve multi-physics dynamic problems. These systems can be applied in various domains such that engineering design process, model of ... 详细信息
来源: 评论
Using mixed integer programming and constraint programming for operating rooms scheduling with modified block strategy
收藏 引用
OPERATIONS RESEARCH FOR HEALTH CARE 2019年 23卷 100220-000页
作者: Younespour, Maryam Atighehchian, Arezoo Kianfar, Kamran Esfahani, Ehsan T. Univ Isfahan Fac Adm Sci & Econ Dept Management Esfahan *** Iran Univ Isfahan Fac Engn Esfahan *** Iran Univ Buffalo State Univ New York Dept Mech & Aerosp Engn Buffalo NY 14260 USA
Operating Room (OR) Scheduling is one of the most critical problems at the operational level for hospital managers. A useful strategy for OR scheduling, especially in large hospitals is the block strategy. In this str... 详细信息
来源: 评论