咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
A constraint-programming based decomposition method for the Generalised Workforce Scheduling and Routing Problem (GWSRP)
收藏 引用
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2022年 第4期60卷 1265-1283页
作者: Bourreau, E. Garaix, T. Gondran, M. Lacomme, P. Tchernev, N. LIRMM UMR 5506 Montpellier France Ecole Mines St Etienne St Etienne France Univ Clermont Auvergne Lab Informat LIMOS UMR 6158 Clermont Ferrand France
This paper deals with the Generalised Workforce Scheduling and Routing Problem (GWSRP) where 9 temporal constraints ensuring visit dependencies are all together taken into account and where customer and worker's q... 详细信息
来源: 评论
constraint programming heuristics and software tools for amphibious embarkation planning
收藏 引用
JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2019年 第3期16卷 233-254页
作者: Chircop, Paul A. Surendonk, Timothy J. Def Sci & Technol Grp Canberra ACT Australia DST Eveleigh Dept Def Locked Bag 7005 Liverpool NSW 1871 Australia
We outline the development and performance of heuristic approaches to obtain prioritized load planning solutions for the embarkation of cargo onto the deck of an amphibious ship. The heuristic techniques are underpinn... 详细信息
来源: 评论
Declarative Reasoning on Explanations Using constraint Logic programming  18th
Declarative Reasoning on Explanations Using Constraint Logic...
收藏 引用
18th European Conference on Logics in Artificial Intelligence (JELIA)
作者: State, Laura Ruggieri, Salvatore Turini, Franco Univ Pisa Pisa Italy Scuola Normale Super Pisa Pisa Italy
Explaining opaque Machine Learning (ML) models is an increasingly relevant problem. Current explanation in AI (XAI) methods suffer several shortcomings, among others an insufficient incorporation of background knowled... 详细信息
来源: 评论
constraint programming model for multi-manned assembly line balancing problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2020年 124卷 105069-105069页
作者: Cil, Zeynel Abidin Kizilay, Damla Izmir Democracy Univ Dept Ind Engn Izmir Turkey
In recent years, the multi-manned assembly line has become popular since the large-sized products allow more than one operator working simultaneously on the same product in a workstation. This line usually occurs in l... 详细信息
来源: 评论
Energy-Aware Flexible Job Shop Scheduling Using Mixed Integer programming and constraint programming
收藏 引用
MATHEMATICAL PROBLEMS IN ENGINEERING 2021年 第1期2021卷
作者: Ham, Andy Park, Myoung-Ju Kim, Kyung Min North Carolina A&T State Univ Appl Engn Technol Greensboro NC 27411 USA Kyung Hee Univ Ind & Management Syst Engn Seoul South Korea Myong Ji Univ Ind Management & Engn Seoul South Korea
Compromising productivity in exchange for energy saving does not appeal to highly capitalized manufacturing industries. However, we might be able to maintain the same productivity while significantly reducing energy c... 详细信息
来源: 评论
Floor plan generation through a mixed constraint programming-genetic optimization approach
收藏 引用
AUTOMATION IN CONSTRUCTION 2021年 123卷 103491-103491页
作者: Laignel, Graziella Pozin, Nicolas Geffrier, Xavier Delevaux, Loukas Brun, Florian Dolla, Bastien HABX Paris France
We present a novel approach for automatic apartment layout generation. Given a polygonal apartment envelope and a list of rooms with associated area, our so-called Optimizer algorithm generates several floor plans aim... 详细信息
来源: 评论
A graph-based constraint programming approach for the integrated process planning and scheduling problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2021年 131卷 105282-105282页
作者: Zhang, Luping Yu, Chunxia Wong, T. N. Southwestern Univ Finance & Econ Chengdu Peoples R China China Univ Petr Sch Econ & Management Beijing Peoples R China Univ Hong Kong Pokfulam Rd Hong Kong Peoples R China
Integration of process planning and scheduling (IPPS) is to carry out both functions simultaneously. This paper provides a graph-based constraint programming (GCP) approach to solve the type-2 IPPS problem that takes ... 详细信息
来源: 评论
Formalizing Security and Safety Requirements by Mapping Attack-Fault Trees on Obstacle Models with constraint programming Semantics
Formalizing Security and Safety Requirements by Mapping Atta...
收藏 引用
IEEE Workshop on Formal Requirements (FORMREQ)
作者: Ponsard, Christophe Deprez, Jean-Christophe Darimont, Robert CETIC Res Ctr Charleroi Belgium Respect IT Louvain La Neuve Belgium
Requirements Engineering (RE) covers not only the capture and structuring of various properties the system should achieve but also the identification of high-level choices on how to achieve such goals or to avoid rela... 详细信息
来源: 评论
Heuristic Planning for Hybrid Dynamical Systems with constraint Logic programming  11
Heuristic Planning for Hybrid Dynamical Systems with Constra...
收藏 引用
11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops
作者: Mathew, Shaun Soutchanski, Mikhail Toronto Metropolitan University 245 Church St ENG281 TorontoONM5B 2K3 Canada
We explore how planning for near optimal behaviors of mixed discrete-continuous systems can be done by deductive reasoning. For reasoning to be efficient, it must be properly controlled. It is surprising and mathemati... 详细信息
来源: 评论
Project Resource Input Optimization Problem with Combined Time constraints Based on Node Network Diagram and constraint programming
收藏 引用
JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT 2021年 第12期147卷 04021163-04021163页
作者: Kong, Feng Guo, Jinliang Lv, Xiao North China Elect Power Univ Dept Econ Management Baoding 071003 Hebei Peoples R China
The traditional resource-constrained project scheduling problem makes the amounts of resource input fixed and ignores the joint effect of multiple time constraints, which may lead to the failure of traditional algorit... 详细信息
来源: 评论