咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
A constraint programming Scheduler for Heterogeneous High-Performance Computing Machines
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2016年 第10期27卷 2781-2794页
作者: Bridi, Thomas Bartolini, Andrea Lombardi, Michele Milano, Michela Benini, Luca Univ Bologna Dept Comp Sci & Engn DISI Viale Risorgimento 240123 Bologna Italy Univ Bologna Dept Elect Elect & Informat Engn DEI Viale Risorgimento 2 I-40123 Bologna Italy Swiss Fed Inst Technol Integrated Syst Lab CH-8092 Zurich Switzerland
Scheduling and dispatching tools for high-performance computing (HPC) machines have the key role of mapping jobs to the available resources, trying to maximize performance and quality-of-service (QoS). Allocation and ... 详细信息
来源: 评论
A novel constraint programming model for large-scale scheduling problems in multiproduct multistage batch plants: Limited resources and campaign-based operation
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2016年 第0期93卷 101-117页
作者: Novara, Franco M. Novas, Juan M. Henning, Gabriela P. Univ Nacl Litoral FIQ Santiago del Estero 2829 RA-3000 Santa Fe Argentina Univ Nacl Cordoba CONICET CIEM Medina Allende S-N RA-5000 Cordoba Argentina Univ Nacl Litoral CONICET INTEC Guemes 3400 RA-3000 Santa Fe Argentina
This contribution introduces an efficient constraint programming (CP) model that copes with largescale scheduling problems in multiproduct multistage batch plants. It addresses several features found in industrial env... 详细信息
来源: 评论
lmaxRPCls: An Algorithm Utilizing Light Symmetry for Approximating maxRPC in constraint programming
lmaxRPCls: An Algorithm Utilizing Light Symmetry for Approxi...
收藏 引用
2017 2nd International Conference on Control, Automation and Artificial Intelligence(CAAI2017)
作者: Zhiying Xu Shihui Song Zhanshan Li School of Computer Science Jilin University School of Software Jilin University Laboratary of Symbol Computation and Knowledge Engineering Education Ministry
constraint satisfaction problem(CSP) can be widely applied in many areas. This paper investigates the maximum restricted path consistency algorithm. There is a large quantity of useless checks in the process of search... 详细信息
来源: 评论
Combining metaheuristics with mathematical programming, constraint programming and machine learning
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2016年 第1期240卷 171-215页
作者: Talbi, El-Ghazali Univ Lille 1 INRIA CNRS Lille France
During the last years, interest on hybrid metaheuristics has risen considerably in the field of optimization and machine learning. The best results found for many optimization problems in science and industry are obta... 详细信息
来源: 评论
A constraint-programming-based approach for solving the data dissemination problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2017年 第Feb.期78卷 278-289页
作者: Bocquillon, Ronan Jouglet, Antoine Univ Technol Compiegne Sorbonne Univ CNRS Heudiasyc UMR 7253 CS 60319 F-60203 Compiegne France
Systems of mobile Systems are intermittently connected networks that use store-carry-forward routing for data transfers. Independent systems collaborate and exchange data to achieve a common goal. Data transfers are o... 详细信息
来源: 评论
A constraint programming Approach for Web Log Mining
收藏 引用
INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING 2016年 第4期11卷 24-42页
作者: Kemmar, Amina Lebbah, Yahia Loudni, Samir Univ Oran 1 Ahmed Ben Bella LITIO Oran Algeria Univ Caen GREYC CNRS UMR 6072 Caen France
Mining web access patterns consists in extracting knowledge from server log files. This problem is represented as a sequential pattern mining problem (SPM) which allows to extract patterns which are sequences of acces... 详细信息
来源: 评论
constraint logic programming with a relational machine
收藏 引用
FORMAL ASPECTS OF COMPUTING 2017年 第1期29卷 97-124页
作者: Arias, Emilio Jesus Gallego Lipton, James Marino, Julio Mines ParisTech CRI 35 Rue St Honore Fontainebleau Seine Et Marne France Wesleyan Univ Dept Math & Comp Sci Middletown CT 06459 USA Univ Politecn Madrid ETSI Informat Campus Montegancedo S-N Boadilla Del Monte 28660 Spain
We present a declarative framework for the compilation of constraint logic programs into variable-free relational theories which are then executed by rewriting. This translation provides an algebraic formulation of th... 详细信息
来源: 评论
A constraint programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes  22nd
A Constraint Programming Approach to Multi-Robot Task Alloca...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Booth, Kyle E. C. Nejat, Goldie Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
We study the application of constraint programming (CP) to the planning and scheduling of multiple social robots interacting with residents in a retirement home. The robots autonomously organize and facilitate group a... 详细信息
来源: 评论
Using constraint programming techniques to improve incident management process in ITIL  3
Using constraint programming techniques to improve incident ...
收藏 引用
3rd International Conference on Artificial Intelligence and Pattern Recognition (AIPR)
作者: Ghrab, Ismail Ketata, Mounir Loukil, Zied Gargouri, Faiez Univ Sfax MIRACL Sfax Tunisia
ITIL is a large collection of best practices, tools and methods used in the management and handling of IT services. It's composed of five books related to the most important IT management fields. In this paper, we... 详细信息
来源: 评论
Parallelizing constraint programming with Learning  1
收藏 引用
13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in constraint programming (CPAIOR)
作者: Ehlers, Thorsten Stuckey, Peter J. Univ Kiel Dept Comp Sci D-24098 Kiel Germany Univ Melbourne Dept Comp & Informat Syst Melbourne Vic 3010 Australia Natl ICT Australia Victoria Lab Melbourne Vic Australia
Parallel constraint programming (CP) solvers typically split the search space in disjoint subspaces, and run solvers independently on these. This may induce significant overhead when solving optimization problems. Par... 详细信息
来源: 评论