咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是971-980 订阅
Solving production scheduling with earliness/tardiness penalties by constraint programming
收藏 引用
JOURNAL OF INTELLIGENT MANUFACTURING 2011年 第4期22卷 553-562页
作者: Kelbel, Jan Hanzalek, Zdenek Czech Tech Univ Fac Elect Engn Dept Control Engn Prague 12135 2 Czech Republic
This paper deals with an application of constraint programming in production scheduling with earliness and tardiness penalties that reflects the scheduling part of the Just-In-Time inventory strategy. Two scheduling p... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Local and global symmetry breaking in itemset mining
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2017年 第1期80卷 91-112页
作者: Benhamou, Belaid Aix Marseille Univ LSIS Domaine Univ St Jerome F-13397 Marseille 20 France
The concept of symmetry has been extensively studied in the field of constraint programming and in the propositional satisfiability. Several methods for detection and removal of these symmetries have been developed, a... 详细信息
来源: 评论
Learning discrete decomposable graphical models via constraint optimization
收藏 引用
STATISTICS AND COMPUTING 2017年 第1期27卷 115-130页
作者: Janhunen, Tomi Gebser, Martin Rintanen, Jussi Nyman, Henrik Pensar, Johan Corander, Jukka Aalto Univ Dept Comp Sci Espoo Finland Univ Potsdam Potsdam Germany Griffith Univ Brisbane Qld Australia Abo Akad Univ Dept Math & Stat Turku Finland Univ Helsinki Dept Math & Stat Helsinki Finland
Statistical model learning problems are traditionally solved using either heuristic greedy optimization or stochastic simulation, such as Markov chain Monte Carlo or simulated annealing. Recently, there has been an in... 详细信息
来源: 评论
Computational Flux Balance Analysis Predicts that Stimulation of Energy Metabolism in Astrocytes and their Metabolic Interactions with Neurons Depend on Uptake of K+ Rather than Glutamate
收藏 引用
NEUROCHEMICAL RESEARCH 2017年 第1期42卷 202-216页
作者: DiNuzzo, Mauro Giove, Federico Maraviglia, Bruno Mangia, Silvia Univ Copenhagen Ctr Basic & Translat Neurosci Fac Hlth & Med Sci Blegdamsvej 3B24-2-40 DK-2200 Copenhagen N Denmark Museo Stor Fis Rome Italy Ctr Studi & Ric Enrico Fermi Rome Italy Fdn Santa Lucia IRCCS Rome Italy Univ Minnesota Dept Radiol Ctr Magnet Resonance Res Minneapolis MN 55455 USA
Brain activity involves essential functional and metabolic interactions between neurons and astrocytes. The importance of astrocytic functions to neuronal signaling is supported by many experiments reporting high rate... 详细信息
来源: 评论
A constraint programming-based solution approach for medical resident scheduling problems
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2011年 第1期38卷 246-255页
作者: Topaloglu, Seyda Ozkarahan, Irem Dokuz Eylul Univ Dept Ind Engn TR-35160 Izmir Turkey Troy Univ Montgomery Dept Comp Sci Montgomery AL 36104 USA
Persistent calls come from within the graduate medical education community and from external sources for regulating the resident duty hours in order to meet the obligations about the quality of resident education, the... 详细信息
来源: 评论
A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs  18
A Scheduling-Based Approach to Multi-Agent Path Finding with...
收藏 引用
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems
作者: Roman Barták Ji?í Švancara Marek Vlk Charles University Prague Czech Rep Charles University & Czech Technical University in Prague Prague Czech Rep
Multi-agent path finding (MAPF) deals with the problem of finding a collision-free path for a set of agents. The agents are located at nodes of a directed graph, they can move over the arcs, and each agent has its own... 详细信息
来源: 评论
constraint programming Systems for Modeling Music Theories and Composition
收藏 引用
ACM COMPUTING SURVEYS 2011年 第4期43卷 30-30页
作者: Anders, Torsten Miranda, Eduardo R. Univ Plymouth ICCMR Plymouth PL4 8AA Devon England
constraint programming is well suited for the computational modeling of music theories and composition: its declarative and modular approach shares similarities with the way music theory is traditionally expressed, na... 详细信息
来源: 评论
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)  26
Robots in Retirement Homes: Applying Off-the-Shelf Planning ...
收藏 引用
26th International Joint Conference on Artificial Intelligence (IJCAI)
作者: Tran, Tony T. Vaquero, Tiago Nejat, Goldie Beck, J. Christopher Univ Toronto Toronto ON Canada MIT 77 Massachusetts Ave Cambridge MA 02139 USA
We investigate constraint programming and Planning Domain Definition Language-based technologies for planning and scheduling multiple robots in a retirement home environment to assist elderly residents. Our robotics p... 详细信息
来源: 评论
An assertion language for slicing constraint logic languages
arXiv
收藏 引用
arXiv 2018年
作者: Falaschi, Moreno Olarte, Carlos Dept. Information Engineering and Mathematics Università di Siena Italy ECT Universidade Federal do Rio Grande do Norte Brazil
constraint Logic programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent constraint programming (CCP) is a declarative model for concurrency... 详细信息
来源: 评论