咨询与建议

限定检索结果

文献类型

  • 1,016 篇 期刊文献
  • 814 篇 会议
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1,852 篇 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,739 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1852 条 记 录,以下是1781-1790 订阅
排序:
Optimising order picking efficiency in a warehouse and distribution centre: A flexible flow shop scheduling approach
收藏 引用
Procedia Computer Science 2023年 225卷 832-841页
作者: Kateryna Czerniachowska Krzysztof Lutosławski Wroclaw University of Economics and Business Komandorska 118/120 53-345 Wroclaw Poland
The scheduling of order-picking problems is a critical aspect of warehouse and distribution centre operations. The efficient execution of order picking requires determining the sequence in which it is needed to pick i... 详细信息
来源: 评论
CP-BASED DECISION MAKING FOR SME
收藏 引用
IFAC Proceedings Volumes 2005年 第1期38卷 319-324页
作者: Z.A. Banaszak M.B. Zaremba W. Muszyński Systems Research Institute of Polish Academy of Sciences Poland Université du Québec Gatineau Quebec Canada Technical University of Wrocław Poland
constraint programming (CP) is an emergent software technology for declarative description and effective solution of large combinatorial problems, which has proven to be useful, especially in such areas as integrated ... 详细信息
来源: 评论
Redirecting Freight Trains: An Exact Optimization Approach
收藏 引用
Transportation Research Procedia 2020年 48卷 137-149页
作者: K.P. Anoop Vinay V. Panicker Supply Chain and System Simulation Laboratory Department of Mechanical Engineering National Institute of Technology Calicut Calicut 673601 India
This paper addresses a new problem of redirecting freight trains to revised destinations as a last-minute risk mitigation strategy. The problem is approached from a consignee’s perspective as the demand for a change ... 详细信息
来源: 评论
A production planning and scheduling problem focused on both productivity and quality issues in tannery industries
收藏 引用
Procedia CIRP 2022年 112卷 573-578页
作者: Antonio Grieco Pierpaolo Caricato Anna Arigliano Dip.to Ingegneria Innovazione Università del Salento Lecce 73100 Italy
We investigate the production planning and detailed scheduling of multiple-stage flexible flow shops, making products that require different production cycles. The production process can be configured in several ways,... 详细信息
来源: 评论
Experimental dataset for optimising the freight rail operations
收藏 引用
DATA IN BRIEF 2016年 9卷 492-500页
作者: Masoud, Mahmoud Kozan, Erhan Kent, Geoff Liu, Shi Qiang Queensland Univ Technol Fac Sci & Engn 2 George StGPO Box 2434 Brisbane Qld 4001 Australia Southwest Jiaotong Univ Sch Transportat & Logist Chengdu 6117563 Sichuan Peoples R China
The freight rail systems have an essential role to play in transporting the commodities between the delivery and collection points at different locations such as farms, factories and mills. The fright transport system... 详细信息
来源: 评论
UAVs’ Dynamic Routing, Subject to Time Windows Variation
收藏 引用
IFAC-PapersOnLine 2022年 第2期55卷 457-462页
作者: Grzegorz Bocewicz Grzegorz Radzki Peter Nielsen Zbigniew Banaszak Faculty of Electronics and Computer Science Koszalin University of Technology Poland Dept. of Materials and Production Aalborg University Aalborg Denmark
This paper presents a method for the multiple autonomous vehicles mission flight planning in changing weather conditions. We model UAVs fleet servicing spatially-dispersed customers in terms of declarative modelling f... 详细信息
来源: 评论
A Hybrid Exact-Local Search Approach for One-Machine Scheduling with Time-Dependent Capacity
收藏 引用
ALGORITHMS 2022年 第12期15卷 450-450页
作者: Valouxis, Christos Gogos, Christos Dimitsas, Angelos Potikas, Petros Vittas, Anastasios Univ Patras Dept Elect & Comp Engn Patras 26500 Greece Univ Ioannina Dept Informat & Telecommun Arta 47100 Greece Natl Tech Univ Athens Dept Elect & Comp Engn Athens 15772 Greece
Machine scheduling is a hard combinatorial problem having many manifestations in real life. Due to the schedule followed, the possibility of installations of machines operating sub-optimally is high. In this work, we ... 详细信息
来源: 评论
Scheduling maintenance activities of electric power transmission networks using an hybrid constraint method
Engineering Intelligent Systems
收藏 引用
Engineering Intelligent Systems 2007年 第3期15卷 127-134页
作者: Gomes, Nuno Pinheiro, Raul Vale, Zita Ramos, Carlos GECAD - Knowledge Engineering and Decision Support Group Institute of Engineering Polytechnic Institute Porto Portugal
In this paper we present a constraint Logic programming (CLP) based model, and hybrid solving method for the Scheduling of Maintenance Activities in the Power Transmission Network. The model distinguishes from others ... 详细信息
来源: 评论
On model finding with constraint patterns
Frontiers in Artificial Intelligence and Applications
收藏 引用
Frontiers in Artificial Intelligence and Applications 2016年 286卷 279-290页
作者: Dang, Duc-Hanh Truong, Anh-Hoang Dang, Van Hung Department of Software Engineering VNU - University of Engineering and Technology 144 Xuan Thuy Hanoi Viet Nam
Class models are often employed to represent domains. In order for class models to conform to their intended domain semantics, we need to ensure their precision and consistency. Precision can be achieved by augmenting... 详细信息
来源: 评论
Sketched Answer Set programming  30
Sketched Answer Set Programming
收藏 引用
30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Paramonov, Sergey Bessiere, Christian Dries, Anton De Raedt, Luc Katholieke Univ Leuven Leuven Belgium CNRS LIRMM Montpellier France
Answer Set programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models can be hard. We propose a novel method, called Sketched Answer Set programming (SkASP), aimed at fa... 详细信息
来源: 评论