咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
Using constraint programming techniques to improve incident management process in ITIL  3
Using constraint programming techniques to improve incident ...
收藏 引用
3rd International Conference on Artificial Intelligence and Pattern Recognition (AIPR)
作者: Ghrab, Ismail Ketata, Mounir Loukil, Zied Gargouri, Faiez Univ Sfax MIRACL Sfax Tunisia
ITIL is a large collection of best practices, tools and methods used in the management and handling of IT services. It's composed of five books related to the most important IT management fields. In this paper, we... 详细信息
来源: 评论
A multi-scale constraint programming model of alternative splicing regulation
A multi-scale constraint programming model of alternative sp...
收藏 引用
1st International Workshop on Computational Methods in Systems Biology
作者: 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 ... 详细信息
来源: 评论
Introducing ADegree: Anonymisation of Social Networks Through constraint programming  1st
Introducing ADegree: Anonymisation of Social Networks Throug...
收藏 引用
1st International Workshop on Mobility Analytics for Spatiotemporal and Social Data (MATES)
作者: Solonets, Sergei Drobny, Victor Rivera, Victor Lee, JooYoung Innopolis Univ Inst Technol & Software Dev Innopolis Russia
With the rapid growth of Online Social Networks (OSNs) and the information involved in them, research studies concerning OSNs, as well as the foundation of businesses, have become popular. Privacy on OSNs is typically... 详细信息
来源: 评论
Scheduling elective surgeries with sequence-dependent setup times to multiple operating rooms using constraint programming
收藏 引用
OPERATIONS RESEARCH FOR HEALTH CARE 2014年 第3期3卷 160-167页
作者: Zhao, Zhaoxia Li, Xueping Univ Tennessee Dept Ind & Syst Engn 522 John D Tickle Bldg851 Neyland Dr Knoxville TN 37996 USA
The problem studied in this paper is to schedule elective surgeries (in contrast to urgent surgeries) to multiple operating rooms (ORs) in ambulatory surgical settings. We focus on three aspects of the daily schedulin... 详细信息
来源: 评论
Solving the Traveling Tournament Problem with Predefined Venues by Parallel constraint programming  1
收藏 引用
6th International Conference on Mining Intelligence and Knowledge Exploration (MIKE)
作者: Liu, Ke Loeffler, Sven Hofstedt, Petra Brandenburg Univ Technol Cottbus Senftenberg Dept Math & Comp Sci Konrad Wachsmann Allee 5 D-03044 Cottbus Germany
The Traveling Tournament Problem with Predefined Venues (TTPPV) is a practical problem arising from sports scheduling. We describe two different modeling approaches for this problem, each of which is suitable for diff... 详细信息
来源: 评论
Genetic-based constraint programming for Resource Constrained Job Scheduling
Genetic-based Constraint Programming for Resource Constraine...
收藏 引用
Genetic and Evolutionary Computation Conference (GECCO)
作者: Nguyen, Su Thiruvady, Dhananjay Sun, Yuan Zhang, Mengjie RMIT Univ Sch Accounting Informat Syst & Supply Chain Melbourne Vic Australia Deakin Univ Sch Informat Technol Melbourne Vic Australia La Trobe Univ La Trobe Business Sch Melbourne Vic Australia Victoria Univ Wellington Ctr Data Sci & Artificial Intelligence Wellington New Zealand
Resource constrained job scheduling is a hard combinatorial optimisation problem that originates in the mining industry. Off-the-shelf solvers cannot solve this problem satisfactorily in reasonable time-frames, while ... 详细信息
来源: 评论
On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs
收藏 引用
OPERATIONS RESEARCH PERSPECTIVES 2017年 4卷 1-11页
作者: Schnell, Alexander Hartl, Richard F. Univ Vienna Dept Business Adm Chair Prod & Operat Management Oskar Morgenstern Pl 1 A-1090 Vienna Austria
In our paper, we analyze new exact approaches for the multi-mode resource-constrained project scheduling (MRCPSP) problem with the aim of makespan minimization. For the single-mode RCPSP (SRCPSP) recent exact algorith... 详细信息
来源: 评论
Component Based Design using constraint programming for Module Placement on FPGAs
Component Based Design using Constraint Programming for Modu...
收藏 引用
8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
作者: Wold, Alexander Koch, Dirk Torresen, Jim Univ Oslo Dept Informat N-0316 Oslo Norway
constraint satisfaction modeling is both an efficient, and an elegant approach to model and solve many real world problems. In this paper, we present a constraint solver targeting module placement in static and partia... 详细信息
来源: 评论
Parallelizing constraint programming with Learning  1
收藏 引用
13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in constraint programming (CPAIOR)
作者: Ehlers, Thorsten Stuckey, Peter J. Univ Kiel Dept Comp Sci D-24098 Kiel Germany Univ Melbourne Dept Comp & Informat Syst Melbourne Vic 3010 Australia Natl ICT Australia Victoria Lab Melbourne Vic Australia
Parallel constraint programming (CP) solvers typically split the search space in disjoint subspaces, and run solvers independently on these. This may induce significant overhead when solving optimization problems. Par... 详细信息
来源: 评论
Iterated Greedy constraint programming for Scheduling Steelmaking Continuous Casting  20th
Iterated Greedy Constraint Programming for Scheduling Steelm...
收藏 引用
20th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Kim, Dongyun Choi, Yeonjun Moon, Kyungduk Lee, Myungho Lee, Kangbok Pinedo, Michael L. Pohang Univ Sci & Technol Pohang South Korea NYU Stern Sch Business New York NY USA
We consider a steelmaking-continuous casting (SCC) scheduling problem in the steel industry, which is a variant of the hybrid flow shop scheduling problem subject to practical constraints. Recently, Hong et al. [Hong,... 详细信息
来源: 评论