咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1721-1730 订阅
排序:
Base station positioning in third generation mobile networks
Base station positioning in third generation mobile networks
收藏 引用
15th IEEE Canadian Conference on Electrical and Computer Engineering
作者: Wu, YF Pierre, S Ecole Polytech Mobile Comp & Networking Res Lab Dept Comp Engn LARIM Montreal PQ H3C 3A7 Canada
This paper presents an optimization model for base station location in 3G UMTS downlink environment. The model concerns optimization of the base station parameters such as base station location, transmitted power and ... 详细信息
来源: 评论
System of automated timetabling
System of automated timetabling
收藏 引用
25th International Conference on Information Technology Interfaces
作者: Legierski, W Widawski, R Silesian Tech Univ Inst Automat Control PL-44100 Gliwice Poland
A construction of timetabling is considered to be a computationally hard problem. The problem lies not only in NP-completeness, but also in a number of complicated interactions between different users. The paper prese... 详细信息
来源: 评论
Scheduling outages in distributed environments
收藏 引用
5th International Workshop on Advanced Parallel Processing Technologies
作者: Butler, A Sharda, H Taniar, D RMIT Dept Elect Engn & Comp Syst Melbourne Vic Australia Monash Univ Sch Business Syst Melbourne Vic 3004 Australia
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global change very difficult and time consum... 详细信息
来源: 评论
University course timetabling with soft constraints
收藏 引用
4th International Conference on Practice and Theory of Automated Timetabling
作者: Rudová, H Murray, K Masaryk Univ Fac Informat Brno 60200 Czech Republic Purdue Univ W Lafayette IN 47907 USA
An extension of constraint logic programming that allows for weighted partial satisfaction of soft constraints is described and applied to the development of an automated timetabling system for Purdue University. The ... 详细信息
来源: 评论
Solving vehicle routing problems using constraint programming and metaheuristics
收藏 引用
JOURNAL OF HEURISTICS 2000年 第4期6卷 501-523页
作者: Backer, BD Furnon, V Shaw, P Kilby, P Prosser, P ILOG SA Gentilly France CSIRO Math & Informat Sci Canberra ACT 2601 Australia Univ Strathclyde Dept Comp Sci Glasgow Lanark Scotland
constraint programming typically uses the technique of depth-first branch and bound as the method of solving optimization problems. Although this method can give the optimal solution, for large problems, the time need... 详细信息
来源: 评论
Discrepancy-based additive bounding for the alldifferent constraint
收藏 引用
9th International Conference on Principles and Practice of constraint programming, CP 2003
作者: Lodi, Andrea Milano, Michela Rousseau, Louis-Martin D.E.I.S Università di Bologna Viale Risorgimento 2 Bologna40136 Italy Centre for Research on Transportation Université de Montréal CP 6128 Succ Centre-Ville MontréalH3C 3J7 Canada
In this paper we show how to exploit in constraint programming (CP) a well-known integer programming technique, the additive bounding procedure, when using Limited Discrepancy Search (LDS). LDS is an effective search ... 详细信息
来源: 评论
Semi-automatic modeling by constraint acquisition
收藏 引用
9th International Conference on Principles and Practice of constraint programming, CP 2003
作者: Coletta, Remi Bessière, Christian O’Sullivan, Barry Freuder, Eugene C. O’Connell, Sarah Quinqueton, Joel 161 rue Ada Montpellier Cedex 534392 France Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and expertise in the field of constraint re... 详细信息
来源: 评论
Solving transient scheduling problems with constraint programming
收藏 引用
EUROPEAN JOURNAL OF CONTROL 2000年 第6期6卷 511-520页
作者: Korbaa, O Yim, P Gentina, JC Ecole Cent Lille CNRS UPRESA 8021 Lab Automat & Informat Ind Lille F-59651 Villeneuve Dascq France
We are interested in Discrete Event Dynamic Systems and especially in Flexible Manufacturing Systems (FMS) and their production management. In order to master the combinatorial complexity, ive adopt steady, repetitive... 详细信息
来源: 评论
Concurrent constraint programming with process mobility  1
收藏 引用
1st International Conference on Computational Logic (CL 2000)
作者: Gilbert, D Palamidessi, C City Univ London Dept Comp London England Penn State Univ Dept Comp Sci & Engn University Pk PA 16802 USA
We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure" pa... 详细信息
来源: 评论
Interactive problem solving in an intelligent virtual environment  03
Interactive problem solving in an intelligent virtual enviro...
收藏 引用
Proceedings of the 8th international conference on Intelligent user interfaces
作者: Carlos Calderon Marc Cavazza Daniel Diaz University of Teesside Middlesbrough UK University of Paris Paris France
No abstract available.
来源: 评论