咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Domain-Independent Dynamic programming and constraint programming Approaches for Assembly Line Balancing Problems with Setups
arXiv
收藏 引用
arXiv 2024年
作者: Zhang, Jiachen Beck, J. Christopher Department of Mechanical and Industrial Engineering University of Toronto TorontoONM5S 3G8 Canada
We propose domain-independent dynamic programming (DIDP) and constraint programming (CP) models to exactly solve type-1 and type-2 assembly line balancing problem with sequence-dependent setup times (SUALBP). The goal... 详细信息
来源: 评论
Solving the Parallel Drone Scheduling Traveling Salesman Problem via constraint programming
收藏 引用
ALGORITHMS 2023年 第1期16卷 40-40页
作者: Montemanni, Roberto Dell'Amico, Mauro Univ Modena & Reggio Emilia Dept Sci & Methods Engn Via Amendola 2 I-42122 Reggio Emilia Italy Univ Modena & Reggio Emilia Interdept Ctr En&Tech Capannone 19 Tecnopolo Piazza Europa 1 I-42122 Reggio Emilia Italy
Drones are currently seen as a viable way of improving the distribution of parcels in urban and rural environments, while working in coordination with traditional vehicles, such as trucks. In this paper, we consider t... 详细信息
来源: 评论
constraint programming approaches to disassembly line balancing problem with sequencing decisions
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2021年 126卷 105111-105111页
作者: Edis, Emrah B. Manisa Celal Bayar Univ Dept Ind Engn TR-45140 Manisa Turkey
Recovery of products has received much attention in the last decade due to the increase in both environmental awareness and regulations enacted by governments. In product recovery, disassembly of a product into its co... 详细信息
来源: 评论
constraint programming Algorithms for Route Planning Exploiting Geometrical Information  36
Constraint Programming Algorithms for Route Planning Exploit...
收藏 引用
36th International Conference on Logic programming (ICLP)
作者: Bertagnon, Alessandro Univ Ferrara Dept Engn Ferrara Italy
Problems affecting the transport of people or goods are plentiful in industry and commerce and they also appear to be at the origin of much more complex problems. In recent years, the logistics and transport sector ke... 详细信息
来源: 评论
constraint programming for an Efficient and Flexible Block Modeling Solver  34
Constraint Programming for an Efficient and Flexible Block M...
收藏 引用
34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence
作者: Mattenet, Alex Lucia Davidson, Ian Nijssen, Siegfried Schaus, Pierre UCLouvain ICTEAM Louvain Belgium Univ Calif Davis Comp Sci Dept Davis CA 95616 USA
constraint programming (CP) is a powerful paradigm for solving combinatorial problems. In CP, the user creates a model by declaring variables with their domains and expresses the constraints that need to be satisfied ... 详细信息
来源: 评论
Neuro-Symbolic constraint programming for Structured Prediction  15
Neuro-Symbolic Constraint Programming for Structured Predict...
收藏 引用
15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR)
作者: Dragone, Paolo Teso, Stefano Passerini, Andrea Twitter London England Univ Trento Trento Italy
We propose Nester, a method for injecting neural networks into constrained structured predictors. Nester first uses a neural network to compute an initial prediction that may or may not satisfy the constraints, and th... 详细信息
来源: 评论
Parallel Batch Scheduling With Incompatible Job Families Via constraint programming
arXiv
收藏 引用
arXiv 2024年
作者: Huertas, Jorge A. Van Hentenryck, Pascal Georgia Institute of Technology AtlantaGA United States
This paper addresses the incompatible case of parallel batch scheduling, where compatible jobs belong to the same family, and jobs from different families cannot be processed together in the same batch. Existing const... 详细信息
来源: 评论
constraint programming and Local Search Heuristic: a Matheuristic Approach for Routing and Scheduling Feeder Vessels in Multi-terminal Ports
收藏 引用
Operations Research Forum 2020年 第4期1卷 1-33页
作者: Sacramento, David Solnon, Christine Pisinger, David DTU Management - Technical University of Denmark Kongens Lyngby Denmark INSA Lyon CITI INRIA CHROMA Villeurbanne F-69621 France
In the liner shipping business, shipping ports represent the main nodes in the maritime transportation network. These ports have a collection of terminals where container vessels can load and discharge containers. How... 详细信息
来源: 评论
SeaPearl: A constraint programming Solver Guided by Reinforcement Learning  18th
SeaPearl: A Constraint Programming Solver Guided by Reinforc...
收藏 引用
18th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Chalumeau, Felix Coulon, Ilan Cappart, Quentin Rousseau, Louis-Martin Inst Polytech Paris Ecole Polytech Palaiseau France Ecole Polytech Montreal Montreal PQ Canada
The design of efficient and generic algorithms for solving combinatorial optimization problems has been an active field of research for many years. Standard exact solving approaches are based on a clever and complete ... 详细信息
来源: 评论
Improving the Efficiency of Euclidean TSP Solving in constraint programming by Predicting Effective Nocrossing constraints  1
收藏 引用
19th International Conference of the Italian-Association-for-Artificial-Intelligence (AIxIA)
作者: Bellodi, Elena Bertagnon, Alessandro Gavanelli, Marco Zese, Riccardo Univ Ferrara Dept Engn Via G Saragat 1 I-44122 Ferrara Italy
The Traveling Salesperson Problem (TSP) is a well-known problem addressed in the literature through various techniques, including Integer Linear programming, constraint programming (CP) and Local Search. Many real lif... 详细信息
来源: 评论