咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是331-340 订阅
排序:
LOCAL BRANCHING IN A constraint programming FRAMEWORK
LOCAL BRANCHING IN A CONSTRAINT PROGRAMMING FRAMEWORK
收藏 引用
26th International Conference on Logic programming (ICLP)
作者: Parisini, Fabio Univ Bologna DEIS Vle Risorgimento 2 I-40136 Bologna Italy
Local branching is a general purpose heuristic method which searches locally around the best known solution by employing tree search. It has been successfully used in Mixed Integer programming (MIP) where local branch... 详细信息
来源: 评论
Enhancing supply chain decisions using constraint programming: A case study
Enhancing supply chain decisions using constraint programmin...
收藏 引用
6th Mexican International Conference on Artificial Intelligence (MICAI 2007)
作者: Rodrigues, Luiz C. A. Magatao, Leandro UTFPR Dept Mech Engn Sete Setembro 3165 BR-80230901 Curitiba PR Brazil
A new approach is proposed to tackle integrated decision making associated to supply chains. This procedure enables reliable decisions concerning the set of order demands along a supply chain. This is accomplished by ... 详细信息
来源: 评论
Solving the Car Sequencing Problem with Cross-Ratio constraints Using constraint programming Approach  11th
Solving the Car Sequencing Problem with Cross-Ratio Constrai...
收藏 引用
11th International Conference on Industrial Engineering and Applications - Europe (ICIEA - Europe)
作者: Jalilvand, Sana Bozorgi-Amiri, Ali Mamoodjanloo, Mehdi Baboli, Armand INSA Lyon LIRIS Lab UMR CNRS 5205 Villeurbanne France Univ Tehran Coll Engn Sch Ind Engn Tehran Iran
The rise of mass-individualization has underscored the significance of Mixed-Model Assembly Lines (MMALs) for producing diverse products on the same line. The Car Sequencing Problem (CSP) tackles short-term balancing ... 详细信息
来源: 评论
Optimal Schedules for High-Level programming Environments on FPGAs with constraint programming  36
Optimal Schedules for High-Level Programming Environments on...
收藏 引用
36th IEEE International Parallel and Distributed Processing Symposium (IEEE IPDPS)
作者: Jungblut, Pascal Kranzlmuller, Dieter Ludwig Maxilimilians Univ Dept CS MNM Team Munich Germany
Scheduling tasks on reconfigurable hardware is a well-known problem. Yet, the adoption of advanced scheduling strategies for reconfigurable systems is still low. We argue that a pragmatic solution not relying on low-l... 详细信息
来源: 评论
Stress Testing of Task Deadlines: A constraint programming Approach
Stress Testing of Task Deadlines: A Constraint Programming A...
收藏 引用
IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW)
作者: Di Alesio, Stefano Nejati, Shiva Briand, Lionel Gotlieb, Arnaud Certus Ctr Software Verificat & Validat Simula Res Lab Oslo Norway Univ Luxembourg Interdisciplinary Ctr Reliabil Secur & Trust Luxembourg Luxembourg
Safety-critical Real Time Embedded Systems (RTESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use effective search stra... 详细信息
来源: 评论
A constraint programming approach and a hybrid of genetic and K-means algorithms to solve the p-hub location-allocation problems
收藏 引用
INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE AND ENGINEERING MANAGEMENT 2021年 第2期16卷 123-133页
作者: Rabbani, Masoud Mokhtarzadeh, Mahdi Manavizadeh, Neda Univ Tehran Coll Engn Sch Ind Engn Tehran Iran KHATAM Univ Dept Ind Engn Tehran Iran
p-Hub location-allocation problem is one of the most interesting subjects in the location theory. Hubs act as switching points to reduce the transportation cost. In this study, two new solution methods, a constraint p... 详细信息
来源: 评论
A Comparison of constraint programming and Mixed-Integer programming for Automated Test-Form Generation
收藏 引用
JOURNAL OF EDUCATIONAL MEASUREMENT 2018年 第4期55卷 435-456页
作者: Li, Jie van der Linden, Wim J. McGraw Hill Educ 8787 Orion Pl Columbus OH 43240 USA Univ Twente Measurement & Data Anal NL-7500 AE Enschede Netherlands
The final step of the typical process of developing educational and psychological tests is to place the selected test items in a formatted form. The step involves the grouping and ordering of the items to meet a varie... 详细信息
来源: 评论
Solving Dial-a-ride problems with a low-level hybridization of ants and constraint programming
收藏 引用
2nd International Work-Conference on the Interplay Between Natural and Artificial Computation
作者: Crawford, Broderick Castro, Carlos Monfroy, Eric Pontificia Univ Catolica Valparaiso Valparaiso Chile Univ Tecnica Federico Santa Marya Valparaiso Chile Univ Nantes LINA Nantes France
This paper is about Set Partitioning formulation and resolution for a particular case of VRP, the Dial-a-ride Problem. Set Partitioning has demonstrated to be useful modeling this problem and others very visible and e... 详细信息
来源: 评论
Combining Heuristics and constraint programming for the Parallel Drone Scheduling Vehicle Routing Problem with Collective Drones  15th
Combining Heuristics and Constraint Programming for the Para...
收藏 引用
15th International Conference of the Metaheuristics International Conference (MIC)
作者: Montemanni, Roberto Dell'Amico, Mauro Corsini, Andrea Univ Modena & Reggio Emilia I-42122 Reggio Emilia Italy
Last-mile delivery problems where trucks and drones collaborate to deliver goods to final customers are considered. We focus on settings where a fleet with several homogeneous trucks work in parallel to collaborative ... 详细信息
来源: 评论
Construction of Messaging-Based Integration Solutions Using constraint programming
Construction of Messaging-Based Integration Solutions Using ...
收藏 引用
14th East-European Conference on Advances in Databases and Information Systems
作者: Mederly, Pavol Navrat, Pavol Slovak Univ Technol Bratislava Fac Informat & Informat Technol Bratislava 84216 4 Slovakia
This paper presents a novel method of designing selected aspects of messaging-based integration solutions. The method uses constraint programming to find appropriate communication channels, components' deployment ... 详细信息
来源: 评论