咨询与建议

限定检索结果

文献类型

  • 1,028 篇 期刊文献
  • 833 篇 会议
  • 20 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,632 篇 工学
    • 1,354 篇 计算机科学与技术...
    • 500 篇 软件工程
    • 180 篇 电气工程
    • 138 篇 控制科学与工程
    • 134 篇 机械工程
    • 58 篇 信息与通信工程
    • 50 篇 土木工程
    • 41 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 仪器科学与技术
    • 11 篇 电子科学与技术(可...
    • 11 篇 生物工程
    • 9 篇 动力工程及工程热...
  • 624 篇 管理学
    • 602 篇 管理科学与工程(可...
    • 120 篇 工商管理
    • 14 篇 图书情报与档案管...
    • 7 篇 公共管理
  • 487 篇 理学
    • 364 篇 数学
    • 165 篇 系统科学
    • 32 篇 生物学
    • 17 篇 物理学
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 16 篇 医学
    • 8 篇 基础医学(可授医学...
  • 9 篇 法学
  • 9 篇 教育学
    • 7 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,881 篇 constraint progr...
  • 173 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 31 篇 machine learning
  • 30 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 26 篇 mixed integer li...
  • 23 篇 mixed-integer pr...
  • 23 篇 linear programmi...
  • 23 篇 global constrain...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 planning
  • 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...
  • 21 篇 milano michela
  • 18 篇 van hentenryck p...
  • 18 篇 o'sullivan barry
  • 17 篇 miguel ian
  • 17 篇 lombardi michele
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 nightingale pete...
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nijssen siegfrie...

语言

  • 1,776 篇 英文
  • 79 篇 其他
  • 11 篇 中文
  • 4 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1881 条 记 录,以下是731-740 订阅
Synergetic Algorithm for Power-Down Synthesis  24
Synergetic Algorithm for Power-Down Synthesis
收藏 引用
24th IEEE European Conference on Circuit Theory and Design (ECCTD)
作者: Neuner, Maximilian Graeb, Helmut Tech Univ Munich Chair Elect Design Automat Munich Germany
This paper presents a new approach to describe the analog power-down synthesis problem by combining two state-of-the art constraint programs to a unified, homogeneous constraint optimization problem that, in contrast ... 详细信息
来源: 评论
Global Propagation of Transition Cost for Fixed Job Scheduling  24
Global Propagation of Transition Cost for Fixed Job Scheduli...
收藏 引用
24th European Conference on Artificial Intelligence (ECAI)
作者: Wang Ruixin Nicolas, Barnier CAUC CAUC ENAC Joint Res Ctr Appl Math ATM Tianjin Peoples R China Univ Toulouse ENAC Toulouse France
We present a new constraint programming (CP) model to optimize the transition cost of Fixed Job Scheduling (FJS), which improves our previous approach based on per-resource constraints by orders of magnitude. Our new ... 详细信息
来源: 评论
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization  17th
Scheduling of Dual-Arm Multi-tool Assembly Robots and Worksp...
收藏 引用
17th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Wessen, Johan Carlsson, Mats Schulte, Christian ABB Corp Res Vasteras Sweden KTH Royal Inst Technol Stockholm Sweden RISE Res Inst Sweden Uppsala Sweden
The profitability of any assembly robot installation depends on the production throughput, and to an even greater extent on incurred costs. Most of the cost comes from manually designing the layout and programming the... 详细信息
来源: 评论
Model Expansion in the Presence of Function Symbols Using constraint programming
Model Expansion in the Presence of Function Symbols Using Co...
收藏 引用
International Conference on Tools with Artificial Intelligence
作者: Broes De Cat Bart Bogaerts Jo Devriendt Marc Denecker Department of Computer Science KU Leuven
The traditional approach to Model Expansion (MX) is to reduce the theory to a propositional language and apply a search algorithm to the resulting theory. Function symbols are typically replaced by predicate symbols r... 详细信息
来源: 评论
Just-in-time two-dimensional bin packing *
收藏 引用
OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE 2021年 102卷 102311-102311页
作者: Polyakovskiy, Sergey M'Hallah, Rym Deakin Univ Sch Informat Technol Geelong Vic 3216 Australia Kuwait Univ Coll Sci Dept Stat & Operat Res POB 5969 Safat 13060 Kuwait
This paper considers the on-time guillotine cutting of small rectangular items from large rectangular bins. Items assigned to a bin define the bins' processing time. Consequently, an item inherits the completion t... 详细信息
来源: 评论
On the Refinement of Conflict History Search Through Multi-Armed Bandit  32
On the Refinement of Conflict History Search Through Multi-A...
收藏 引用
32nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Cherif, Mohamed Sami Habet, Djamal Terrioux, Cyril Aix Marseille Univ Univ Toulon CNRS LIS Marseille France
Reinforcement learning has shown its relevance in designing search heuristics for backtracking algorithms dedicated to solving decision problems under constraints. Recently, an efficient heuristic, called Conflict His... 详细信息
来源: 评论
MICROPHANTOM: Playing microRTS under uncertainty and chaos
MICROPHANTOM: Playing microRTS under uncertainty and chaos
收藏 引用
IEEE Conference on Games (IEEE CoG)
作者: Richoux, Florian Univ Nantes Natl Inst Informat JFLI CNRS Tokyo Japan
This competition paper presents microPhantom, a bot playing microRTS and participating in the 2020 microRTS AI competition. microPhantom is based on our previous bot POAdaptive which won the partially observable track... 详细信息
来源: 评论
Joint Application of constraint Propagation and Structural Decomposition Methods for A Priori Analysis of SPARQL Queries  29
Joint Application of Constraint Propagation and Structural D...
收藏 引用
29th International Conference on Information Modeling and Knowledge Bases (EJC)
作者: Zuenko, Alexander Lomov, Pavel Russian Acad Sci Kola Sci Ctr Subdiv Fed Res Ctr Inst Informat & Math Modeling Apatity Russia
The article considers ontology as a set of relations (unary and binary) which are represented by specialized matrix like structures C-systems. That allows us to consider tasks of inference on ontologies as constraint ... 详细信息
来源: 评论
A Problem of Scheduling Operations at a Locomotive Maintenance Depot  10th
A Problem of Scheduling Operations at a Locomotive Maintenan...
收藏 引用
10th International Conference on Optimization and Applications (OPTIMA)
作者: Lazarev, A. A. Musatova, E. G. Grishin, E. M. Tarasov, G., V Galakhov, S. A. Pravdivets, N. A. Russian Acad Sci VA Trapeznikov Inst Control Sci Profsoyuznaya Str 65 Moscow Russia Lomonosov Moscow State Univ Leninskie Gory Str 1-2 Moscow Russia Natl Res Univ Higher Sch Econ Myasnitskaya Str 20 Moscow Russia Moscow Inst Phys & Technol Inst Lane 9 Dolgoprudnyi Moscow Region Russia
In this article, we consider the problem of planning maintenance operations at a locomotive maintenance depot. There are three types of tracks at the depot: buffer tracks, access tracks and service tracks. A depot con... 详细信息
来源: 评论
Balancing and Sequencing of Mixed‐Model Assembly Line with a Variable Neighborhood Simulated Annealing Algorithm
World Scientific Research Journal
收藏 引用
World Scientific Research Journal 2021年 第2期7卷 285-292页
作者: Zhongyao Zhang
A mixed model assembly line is production line where various product models are assembled. Line balancing and model sequencing problems are important for the efficiency of the assembly line. This paper solves them sim... 详细信息
来源: 评论