咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1611-1620 订阅
Cost optimization model for linear scheduling problems considering work continuity
Cost optimization model for linear scheduling problems consi...
收藏 引用
IEEE International Conference on Communications (ICC 2008)
作者: Liu, Shu-Shun Wang, Chang-Jung Natl Yunlin Univ Sci & Technol Dept Construct Engn Touliu 640 Taiwan Natl Yunlin Univ Sci & Technol Grad Sch Engn Sci & Technol Touliu 640 Taiwan
For linear construction projects, it has long been known that work continuity is important in improving efficiency. However, most existing scheduling techniques cannot satisfy the need for solving such issues. This pa... 详细信息
来源: 评论
Impact-based search in constraint-based scheduling
Impact-based search in constraint-based scheduling
收藏 引用
38th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Beherrschbare Systeme - Dank Informatik, INFORMATIK 2008
作者: Wolf, Armin Fraunhofer FIRST Kekulstr. 7 12489 Berlin Germany
A novel adaptation of impact-based search strategies for constraint-based resource scheduling is presented. Search based on impacts applies a general purpose search strategy originally from Linear Integer programming ... 详细信息
来源: 评论
Using a gene-splicing based search technique for complex multi-level resource assignment problems
Using a gene-splicing based search technique for complex mul...
收藏 引用
2008 IEEE Aerospace Conference, AC
作者: Kaslow, David Shupp, Jeffrey Martin, Lockheed Integrated Systems and Global Services 230 Mall Boulevard King of Prussia PA 19406 United States
The phrase "Planning and Scheduling" represents a class of problems where a resource in limited supply is to be optimally applied. Planning and Scheduling problems are accommodated by a branch of mathematics... 详细信息
来源: 评论
A global constraint for bin-packing with precedences: Application to the assembly line balancing problem
A global constraint for bin-packing with precedences: Applic...
收藏 引用
23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference, AAAI-08/IAAI-08
作者: Schaus, Pierre Deville, Yves Department of Computing Science and Engineering University of Louvain Place Sainte Barbe 2 B-1348 Louvain-la-Neuve Belgium
Assembly line balancing problems (ALBP) are of capital importance for the industry since the first assembly line for the Ford T by Henry Ford. Their objective is to optimize the design of production lines while satisf... 详细信息
来源: 评论
Exact graph coloring via hybrid approaches
Exact graph coloring via hybrid approaches
收藏 引用
7th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2008
作者: Gualandi, Stefano Malucelli, Federico Dipartimento di Elettronica E Informazione Politecnico di Milano Italy
来源: 评论
Optimisation of large scale network problems
Optimisation of large scale network problems
收藏 引用
作者: Grigoleit, Mark Ted Curtin University of Technology
学位级别:master
The Constrained Shortest Path Problem (CSPP) consists of finding the shortest path in a graph or network that satisfies one or more resource constraints. Without these constraints, the shortest path problem can be sol... 详细信息
来源: 评论
Towards predicated WCET analysis
Towards predicated WCET analysis
收藏 引用
8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008
作者: Marref, Amine Bernat, Guillem Department of Computer Science University of York Heslington YO105DD United Kingdom
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are collected automatically through static... 详细信息
来源: 评论
The linear programming polytope of binary constraint problems with bounded tree-width
收藏 引用
4th International Conference on Integration of AI and OR Techniques in constraint programming for Combinatorial Optimization Problems
作者: Sellmann, Meinolf Mercier, Luc Leventhal, Daniel H. Brown Univ Dept Comp Sci 115 Waterman StPOB 1910 Providence RI 02912 USA
We show how to efficiently model binary constraint problems (BCP) as integer programs. After considering tree-structured BCPs first, we show that a Sherali-Adams-like procedure results in a polynomial-size linear prog... 详细信息
来源: 评论
constraint programming and hybrid formulations for three life designs
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2004年 第1-4期130卷 41-56页
作者: Bosch, R Trick, M Oberlin Coll Dept Math Oberlin OH 44074 USA Carnegie Mellon Univ Grad Sch Ind Adm Pittsburgh PA 15213 USA
Conway's game of Life provides an interesting testbed for exploring issues in formulation, symmetry, and optimization with constraint programming and hybrid constraint programming/ integer programming methods. We ... 详细信息
来源: 评论
Evaluation of an intelligent e-tool for deaf children: extended abstract  08
Evaluation of an intelligent e-tool for deaf children: exten...
收藏 引用
Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility
作者: Rosella Gennari Ornella Mich Free University of Bozen-Bolzano Bolzano Italy
LODE is a web tool for deaf children, which aims at stimulating global reasoning on written e-stories. This paper reports on an initial prototype application of LODE. First, we motivate the need of an e-tool such as L... 详细信息
来源: 评论