咨询与建议

限定检索结果

文献类型

  • 1,028 篇 期刊文献
  • 833 篇 会议
  • 20 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,632 篇 工学
    • 1,354 篇 计算机科学与技术...
    • 500 篇 软件工程
    • 180 篇 电气工程
    • 138 篇 控制科学与工程
    • 134 篇 机械工程
    • 58 篇 信息与通信工程
    • 50 篇 土木工程
    • 41 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 仪器科学与技术
    • 11 篇 电子科学与技术(可...
    • 11 篇 生物工程
    • 9 篇 动力工程及工程热...
  • 624 篇 管理学
    • 602 篇 管理科学与工程(可...
    • 120 篇 工商管理
    • 14 篇 图书情报与档案管...
    • 7 篇 公共管理
  • 487 篇 理学
    • 364 篇 数学
    • 165 篇 系统科学
    • 32 篇 生物学
    • 17 篇 物理学
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 16 篇 医学
    • 8 篇 基础医学(可授医学...
  • 9 篇 法学
  • 9 篇 教育学
    • 7 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,881 篇 constraint progr...
  • 173 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 31 篇 machine learning
  • 30 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 26 篇 mixed integer li...
  • 23 篇 mixed-integer pr...
  • 23 篇 linear programmi...
  • 23 篇 global constrain...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 planning
  • 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...
  • 21 篇 milano michela
  • 18 篇 van hentenryck p...
  • 18 篇 o'sullivan barry
  • 17 篇 miguel ian
  • 17 篇 lombardi michele
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 nightingale pete...
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nijssen siegfrie...

语言

  • 1,776 篇 英文
  • 79 篇 其他
  • 11 篇 中文
  • 4 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1881 条 记 录,以下是1221-1230 订阅
New lower bounds based on column generation and constraint programming for the pattern minimization problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2009年 第11期36卷 2944-2954页
作者: Alves, Claudio Macedo, Rita de Carvalho, Jose Valerio Univ Minho Ctr Invest Algoritmi Escola Engn P-4710057 Braga Portugal
The pattern minimization problem is a cutting and packing problem that consists in finding a cutting plan with the minimum number of different patterns. This objective may be relevant when changing from one pattern to... 详细信息
来源: 评论
Combining column generation and constraint programming to solve the tail assignment problem
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2009年 第1期171卷 61-76页
作者: Gabteni, Sami Gronkvist, Mattias Jeppesen S-40123 Gothenburg Sweden Chalmers Univ Technol Dept Comp Sci & Engn S-41296 Gothenburg Sweden
Within the area of short term airline operational planning, Tail Assignment is the problem of assigning flight legs to individual identified aircraft while satisfying all operational constraints, and optimizing some o... 详细信息
来源: 评论
Two-level Decomposition Algorithm for Shift Scheduling Problems
Two-level Decomposition Algorithm for Shift Scheduling Probl...
收藏 引用
IEEE International Conference on Systems, Man, and Cybernetics (SMC)
作者: Doi, Tsubasa Nishi, Tatsushi Osaka Univ Grad Sch Engn Sci 1-3 Machikaneyama Cho Toyonaka Osaka 5608531 Japan
We propose a new two-level decomposition algorithm for shift scheduling problems. The problem determines the assignment of duties and rest days to the set of staff members to minimize the given objective function. The... 详细信息
来源: 评论
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database  26
A Decomposition Approach for Discovering Discriminative Moti...
收藏 引用
26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Lesaint, David Mehta, Deepak O'Sullivan, Barry Vigneron, Vincent Univ Angers LERIA F-49045 Angers 01 France Natl Univ Ireland Univ Coll Cork Insight Ctr Data Analyt Cork Ireland
Considerable effort has been invested over the years in ad-hoc algorithms for itemset and pattern mining. constraint programming has recently been proposed as a means to tackle itemset mining tasks within a general mo... 详细信息
来源: 评论
Finding reliable solutions: event-driven probabilistic constraint programming
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2009年 第1期171卷 77-99页
作者: Tarim, S. Armagan Hnich, Brahim Prestwich, Steven Rossi, Roberto Univ Coll Cork Constraint Computat Ctr Cork Ireland Hacettepe Univ Dept Management Ankara Turkey Izmir Univ Econ Fac Comp Sci Izmir Turkey Ctr Telecommun Value Chain Driven Res Dublin Ireland
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We show that previous approaches fail to... 详细信息
来源: 评论
A hybrid ILP-CP model for mapping Directed Acyclic Task Graphs to multicore architectures  28
A hybrid ILP-CP model for mapping Directed Acyclic Task Grap...
收藏 引用
28th IEEE International Parallel & Distributed Processing Symposium Workshops (IPDPSW)
作者: Emeretlis, Andreas Theodoridis, George Alefragis, Panayiotis Voros, Nikolaos Univ Patras Dept Elect & Comp Engn Patras Greece Technol Educ Inst Western Greece Comp & Informat Engn Dept Patras Greece
Directed Acyclic Task Graphs serve as typical kernel representation for embedded applications. Modern embedded multicore architectures raise new challenges for efficient mapping and scheduling of task DAGs providing a... 详细信息
来源: 评论
On Design-time Modelling and Verification of Safety-critical Component-based Systems
收藏 引用
INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING 2014年 第3期2卷 175-188页
作者: Kajtazovic, Nermin Preschern, Christopher Hoeller, Andrea Kreiner, Christian Graz Univ Technol Inst Tech Informat Inffeldgasse 16 A-8010 Graz Austria
Component-based Software Engineering (CBSE) is currently a key paradigm used for developing safetycritical systems. It provides a fundamental means to master systems complexity, by allowing to design systems parts (i.... 详细信息
来源: 评论
The P-Box CDF-Intervals: A Reliable constraint Reasoning with Quantifiable Information
The P-Box CDF-Intervals: A Reliable Constraint Reasoning wit...
收藏 引用
30th International Conference on Logic programming
作者: Saad, Aya Fruehwirth, Thom Gervet, Carmen Univ Ulm D-89069 Ulm Germany Univ Savoie Savoie France
This paper introduces a new constraint domain for reasoning about data with uncertainty. It extends convex modeling with the notion of p-box to gain additional quantifiable information on the data whereabouts. Unlike ... 详细信息
来源: 评论
Encoding Linear constraints into SAT
Encoding Linear Constraints into SAT
收藏 引用
20th International Conference on the Principles and Practice of constraint programming (CP)
作者: Abio, Ignasi Stuckey, Peter J. NICTA Victoria Lab Melbourne Vic Australia
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encoding linear constraints to SAT performs poorl... 详细信息
来源: 评论
Study on TT&C resources scheduling technique based on inter-satellite link
Study on TT&C resources scheduling technique based on inter-...
收藏 引用
64th International Astronautical Congress (IAC)
作者: Gu, Xiaosong Bai, Jian Zhang, Chunze Gao, Huili Xian Satellite Control Ctr State Key Lab Astronaut Dynam Xian Peoples R China Xian Satellite Control Ctr Xian Peoples R China
The navigation constellation will have the capability of supporting Tracking Telemetry and Command (TT&C) operations by inter-satellite link (ISL). The ISL will become an important solution to reduce the shortage ... 详细信息
来源: 评论