咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1711-1720 订阅
排序:
Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results
收藏 引用
ARTIFICIAL INTELLIGENCE 2003年 第2期143卷 151-188页
作者: Laborie, P ILOG SA F-94253 Gentilly France
This paper summarizes the main existing approaches to propagate resource constraints in constraint-Based scheduling and identifies some of their limitations for using them in an integrated planning and scheduling fram... 详细信息
来源: 评论
Loading aircraft for military operations
收藏 引用
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY 2003年 第5期54卷 458-465页
作者: Guéret, C Jussien, N Lhomme, O Pavageau, C Prins, C Ecole Mines Nantes F-44307 Nantes 3 France IRCCyN Nantes France Univ Technol Troyes Troyes France
In this paper, we describe an aircraft loading problem submitted by the French military agency (DGA) as part of a more general military airlift planning problem. It can be viewed as a kind of bi-dimensional bin-packin... 详细信息
来源: 评论
Preference programming: Advanced problem solving for configuration
收藏 引用
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING 2003年 第1期17卷 13-29页
作者: Junker, U Mailharro, D ILOG SA F-06560 Valbonne France ILOG SA F-94253 Gentilly France
Configuration problems often involve large product catalogs, and the given user requests can be met by many different kinds of parts from this catalog. Hence, configuration problems are often weakly constrained and ha... 详细信息
来源: 评论
A fully abstract model for the exchange of information in multi-agent systems
收藏 引用
THEORETICAL COMPUTER SCIENCE 2003年 第3期290卷 1753-1773页
作者: de Boer, FS van Eijk, RM van der Hoek, W Meyer, JJC Univ Utrecht Dept Comp Sci Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands
In this paper,1 we present a semantic theory for the exchange of information in multi-agent systems. We consider the multi-agent programming language agent communication programming language, which integrates the para... 详细信息
来源: 评论
constraints-driven scheduling and resource assignment
收藏 引用
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2003年 第3期8卷 355-383页
作者: Kuchcinski, K Lund Univ Dept Comp Sci S-22100 Lund Sweden
This paper describes a new method for modeling and solving different scheduling and resource assignment problems that are common in high-level synthesis (HLS) and system-level synthesis. It addresses assignment of res... 详细信息
来源: 评论
A probe-based algorithm for piecewise linear optimization in scheduling
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2003年 第1-4期118卷 35-48页
作者: Ajili, F El Sakkout, H Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England Parc Technol Ltd London SE1 7NX England
A scheduling problem with piecewise linear (PL) optimization extends conventional scheduling by imposing a conjunction of combinatorial PL constraints involving the objective function variables. To solve this problem,... 详细信息
来源: 评论
Dominance constraints with Boolean connectives: a model-eliminative treatment
收藏 引用
THEORETICAL COMPUTER SCIENCE 2003年 第2期293卷 321-343页
作者: Duchier, D Univ Saarland Programming Syst Lab D-6600 Saarbrucken Germany
Dominance constraints are a language of tree descriptions. Tree descriptions are widely used in computational linguistics for talking and reasoning about trees. While previous research has focused on the conjunctive f... 详细信息
来源: 评论
Optimization of access network design in 3G networks
Optimization of access network design in 3G networks
收藏 引用
15th IEEE Canadian Conference on Electrical and Computer Engineering
作者: Wu, YF Pierre, S Ecole Polytech Dept Comp Engn Mobile Comp & Networking Res Lab Montreal PQ H3C 3A7 Canada
This paper proposes a novel constraint-based optimization model and a novel search strategy for optimizing the design of a 3G UMTS access network. The model concerns finding a set of sites for locating RNCs, and at th... 详细信息
来源: 评论
Dominance constraints with Boolean connectives: a model-eliminative treatment
Dominance constraints with Boolean connectives: a model-elim...
收藏 引用
2nd International AMAST Workshop on Algebraic Methods in Language Processing
作者: Duchier, D Univ Saarland Programming Syst Lab D-6600 Saarbrucken Germany
Dominance constraints are a language of tree descriptions. Tree descriptions are widely used in computational linguistics for talking and reasoning about trees. While previous research has focused on the conjunctive f... 详细信息
来源: 评论
constraint based maintenance scheduling of electric power units
Constraint based maintenance scheduling of electric power un...
收藏 引用
7th IASTED International Multi-Conference on Power and Energy Systems
作者: Gomes, N Vale, Z Polytech Inst Porto Inst Engn Oporto Portugal
Maintenance scheduling of generating units is an important problem of power systems operations. Traditional approaches and even more recent ones, provide little flexibility to the modeling process. hi this paper we te... 详细信息
来源: 评论