咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
CoPTIC: constraint programming Translated Into C  29th
CoPTIC: Constraint Programming Translated Into C
收藏 引用
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
作者: Lester, Martin Mariusz Univ Reading Reading Berks England
constraint programming systems allow a diverse range of problems to be modelled and solved. Most systems require the user to learn a new constraint programming language, which presents a barrier to novice and casual u... 详细信息
来源: 评论
An Efficient constraint programming Approach for Solving the Multi-Workshop Facility Layout Problem  10
An Efficient Constraint Programming Approach for Solving the...
收藏 引用
10th International Conference on Systems and Informatics, ICSAI 2024
作者: Zhang, Yu Zhang, Zeqiang Chen, Feng He, Zongxing School of Mechanical Engineering Southwest Jiaotong University Chengdu610031 China Chengdu SIWI High-Tech Industrial Co. Ltd. Chengdu610031 China
The multi-workshop facility layout problem (MWFLP) focuses on the optimal distribution and placement of departments across multiple workshops to maximize material handling efficiency and space utilization in manufactu... 详细信息
来源: 评论
A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming
收藏 引用
JOURNAL OF CRYPTOGRAPHIC ENGINEERING 2022年 第2期12卷 197-228页
作者: Liu, Fanghui Cruz, Waldemar Michel, Laurent Univ Connecticut Sch Engn Comp Sci & Engn Dept Storrs CT 06269 USA Univ Connecticut Sch Engn Comp Sci & Engn Dept Synchrony Chair Cybersecur Storrs CT 06269 USA
Tolerant algebraic side-channel attack (TASCA) exploits side-channel information with an algebraic formulation of a cipher to exploit its weaknesses and recover a secret key. Its inputs consist of a side-channel trace... 详细信息
来源: 评论
Solving the time-discrete winter runway scheduling problem: A column generation and constraint programming approach
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2022年 第2期299卷 674-689页
作者: Pohl, Maximilian Artigues, Christian Kolisch, Rainer Tech Univ Munich TUM Sch Management Arcisstr 21 D-80333 Munich Germany CNRS Lab Anal & Architecture Syst 7 Ave Colonel Roche F-31031 Toulouse France
We address the runway scheduling problem under consideration of winter operations. During snowfall, runways have to be temporarily closed in order to clear them from snow, ice and slush. We propose an integrated optim... 详细信息
来源: 评论
Generative magic and designing magic performances with constraint programming
收藏 引用
constraintS 2022年 第3期27卷 168-191页
作者: de Azevedo Silveira, Guilherme Alura Rua Vergueiro 3185 BR-04101300 Sao Paulo SP Brazil
Professional magicians employ the use of interesting properties of a deck of cards to create magical effects. These properties were traditionally discovered through trial and error, the application of heuristics or an... 详细信息
来源: 评论
New mathematical and constraint programming models for U-type assembly line balancing problems with assignment restrictions
收藏 引用
ENGINEERING OPTIMIZATION 2022年 第8期54卷 1289-1304页
作者: Pinarbasi, Mehmet OSTIM Tech Univ Dept Ind Engn Ankara Turkey
In this study, the U-type assembly line balancing problem (UALBP) with assignment restrictions (AR-UALBP) is considered. Linked and incompatible distance and station restrictions are taken into account. New mathematic... 详细信息
来源: 评论
Mixed-integer linear programming, constraint programming and column generation approaches for operating room planning under block strategy
收藏 引用
APPLIED MATHEMATICAL MODELLING 2022年 105卷 438-453页
作者: Ghandehari, Najmeh Kianfar, Kamran Univ Isfahan Fac Adm Sci & Econ Dept Management Esfahan *** Iran Univ Isfahan Fac Engn Esfahan *** Iran
The planning of operating rooms under block strategy is addressed in this study. The decisions are about opening the operating rooms and assigning specialties and surgeons to blocks at the tactical level, and sequenci... 详细信息
来源: 评论
Black-Box Value Heuristics for Solving Optimization Problems with constraint programming  30
Black-Box Value Heuristics for Solving Optimization Problems...
收藏 引用
30th International Conference on Principles and Practice of constraint programming, CP 2024
作者: Delecluse, Augustin Schaus, Pierre TRAIL ICTEAM UCLouvain Belgium ICTEAM UCLouvain Belgium
Significant research efforts have focused on black-box variable selection, with less attention given to value heuristics. An ideal value heuristic enables depth-first-search to prioritize high-quality solutions first.... 详细信息
来源: 评论
Iterated Greedy constraint programming for Scheduling Steelmaking Continuous Casting  20th
Iterated Greedy Constraint Programming for Scheduling Steelm...
收藏 引用
20th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Kim, Dongyun Choi, Yeonjun Moon, Kyungduk Lee, Myungho Lee, Kangbok Pinedo, Michael L. Pohang Univ Sci & Technol Pohang South Korea NYU Stern Sch Business New York NY USA
We consider a steelmaking-continuous casting (SCC) scheduling problem in the steel industry, which is a variant of the hybrid flow shop scheduling problem subject to practical constraints. Recently, Hong et al. [Hong,... 详细信息
来源: 评论
Combining constraint programming Reasoning with Large Language Model Predictions  30
Combining Constraint Programming Reasoning with Large Langua...
收藏 引用
30th International Conference on Principles and Practice of constraint programming, CP 2024
作者: Régin, Florian De Maria, Elisabetta Bonlarron, Alexandre Université Côte d'Azur I3S CNRS Sophia Antipolis France Université Côte d'Azur Inria Sophia Antipolis France
constraint programming (CP) and Machine Learning (ML) face challenges in text generation due to CP's struggle with implementing "meaning"and ML's difficulty with structural constraints. This paper pr... 详细信息
来源: 评论