咨询与建议

限定检索结果

文献类型

  • 1,022 篇 期刊文献
  • 820 篇 会议
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,605 篇 工学
    • 1,333 篇 计算机科学与技术...
    • 494 篇 软件工程
    • 177 篇 电气工程
    • 135 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 51 篇 土木工程
    • 40 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 电子科学与技术(可...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 9 篇 动力工程及工程热...
  • 618 篇 管理学
    • 599 篇 管理科学与工程(可...
    • 119 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 485 篇 理学
    • 362 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,864 篇 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 篇 英文
  • 94 篇 其他
  • 11 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1864 条 记 录,以下是1711-1720 订阅
Machine learned heuristics to improve constraint satisfaction
Machine learned heuristics to improve constraint satisfactio...
收藏 引用
17th Brazilian Symposium on Artificial Intelligence (SBIA 2004)
作者: Correia, M Barahona, P Univ Nova Lisboa Dept Informat Ctr Inteligencia Artificial P-2829516 Caparica Portugal
Although propagation techniques are very important to solve constraint solving problems, heuristics are still necessary to handle non trivial problems efficiently. General principles may be defined for such heuristics... 详细信息
来源: 评论
Reactive web agents with open constraint programming  5
Reactive web agents with open constraint programming
收藏 引用
5th IEEE International Symposium on Autonomous Decentralized Systems (ISADS 01)
作者: Zhu, KQ Tan, WY Santosa, AE Yap, R Natl Univ Singapore Dept Comp Sci Singapore 117548 Singapore
This paper describes a new programming system for writing web applications with reactive agents, i.e. the agents can have complex responses which depend on how the environment changes. Our prototype system is based on... 详细信息
来源: 评论
Using MILP and CP for the scheduling of batch chemical processes
Using MILP and CP for the scheduling of batch chemical proce...
收藏 引用
1st International Conference on Integration of AI and OR Techniques in constraint programming for Combinatorial Optimisation Problems, CPAIOR 2004
作者: Maravelias, Christos T. Grossmann, Ignacio E. Department of Chemical Engineering Carnegie Mellon University PittsburghPA15213 United States
A hybrid framework that uses Mathematical and constraint programming for the scheduling of batch chemical processes is proposed. Mathematical programming is used for the high-level optimization decisions (number and t... 详细信息
来源: 评论
A hybrid method for planning and scheduling
收藏 引用
10th International Conference on Principles and Practice of constraint programming, CP 2004
作者: Hooker, John N. Carnegie Mellon University United States
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and scheduled using CP, and the two are linked... 详细信息
来源: 评论
Network flow problems in constraint programming  1
收藏 引用
7th International Conference on Principles and Practice of constraint programming, CP 2001
作者: Bockmayr, Alexander Pisaruk, Nicolai Aggoun, Abderrahmane Université Henri Poincaré LORIA B.P. 239 Vandoeuvre-lés-NancyF-54506 France COSYTEC S.A Parc Club Orsay Université 4 rue Jean Rostand OrsayF-91893 France
We introduce a new global constraint for modeling and solving network flow problems in constraint programming. We describe the declarative and operational semantics of the flow constraint and illustrate its use throug... 详细信息
来源: 评论
Cyclical staff scheduling using constraint logic programming
收藏 引用
3rd International Conference on Practice and Theory of Automated Timetabling
作者: Chan, P Weil, G Univ Grenoble 1 Fac Med Grenoble Lab TIMC IMAG F-38700 Grenoble France COSYTEC SA F-91893 Orsay France Univ Grenoble 1 Fac Med Grenoble Lab TIMC IMAG F-38700 Grenoble France
In organizations where duty is around the clock, seven days a week and every week of the year, timetabling is a very difficult task, juggling between the workload and the constraints to be respected. Our work concerns... 详细信息
来源: 评论
Branch-and-check: A hybrid framework integrating mixed integer programming and constraint logic programming  1
收藏 引用
7th International Conference on Principles and Practice of constraint programming, CP 2001
作者: Thorsteinsson, Erlendur S. Graduate School of Industrial Administration Carnegie Mellon University Schenley Park PittsburghPA15213–3890 United States
We present Branch-and-Check, a hybrid framework integrating Mixed Integer programming and constraint Logic programming, which encapsulates the traditional Benders Decomposition and Branch-and-Bound as special cases. I... 详细信息
来源: 评论
Hybrid benders decomposition algorithms in constraint logic programming
收藏 引用
7th International Conference on Principles and Practice of constraint programming, CP 2001
作者: Eremin, Andrew Wallace, Mark IC-Parc London United Kingdom
Benders Decomposition is a form of hybridisation that allows linear programming to be combined with other kinds of algorithms. It extracts new constraints for one subproblem from the dual values of the other subproble... 详细信息
来源: 评论
Model-based programming of intelligent embedded systems and robotic space explorers
收藏 引用
PROCEEDINGS OF THE IEEE 2003年 第1期91卷 212-237页
作者: Williams, BC Ingham, MD Chung, SH Elliott, PH MIT Space Syst & Artificial Intelligence Labs Cambridge MA 02139 USA
programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control processors. This is a challenging, time-consuming, and error-pr... 详细信息
来源: 评论
Fusion of radar tracks, reports and plans
收藏 引用
MODELING IDENTIFICATION AND CONTROL 2003年 第2期24卷 87-97页
作者: Mevassvik, OM Lokka, A Norwegian Def Res Estab Div Elect NO-2027 Kjeller Norway
This paper suggests a method that utilizes non-real time information as an aid to improve maritime surveillance. Under certain conditions vessels move in accordance with preplanned routes and possibly also report thei... 详细信息
来源: 评论