咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Mixing Static and Dynamic Partitioning to Parallelize a constraint programming Solver
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL programming 2016年 第3期44卷 486-505页
作者: Menouer, Tarek Rezgui, Mohamed Le Cun, Bertrand Regin, Jean-Charles Univ Versailles St Quentin En Yvelines Prism Lab 45 Ave des Etats Unis F-78035 Versailles France Univ Nice Sophia Antipolis Lab I3S 28 Ave Valombrose F-06100 Nice France
This paper presents an external parallelization of constraint programming (CP) search tree mixing both static and dynamic partitioning. The principle of the parallelization is to partition the CP search tree into a se... 详细信息
来源: 评论
Compressive Sensing via constraint programming
Compressive Sensing via Constraint Programming
收藏 引用
International Conference on Wireless Networks and Mobile Communications (WINCOM)
作者: Nouasria, Hamid Et-tolba, Mohamed INPT Dept Commun Syst Rabat Morocco
Nowadays, Compressive Sensing (CS), is one of the emerging fields of research in signal processing. It aims at reconstructing a signal from a significantly reduced number of measurements. This is done by exploiting th... 详细信息
来源: 评论
Range-only SLAM with indistinguishable landmarks;a constraint programming approach
收藏 引用
constraintS 2016年 第4期21卷 557-576页
作者: Jaulin, Luc OSM IHSEV LabSTICC 2 Rue Francois Verny F-29806 Brest France
This paper deals with the simultaneous localization and mapping problem (SLAM) for a robot. The robot has to build a map of its environment while localizing itself using a partially built map. It is assumed that (i) t... 详细信息
来源: 评论
Practical minimization of pairwise-covering test configurations using constraint programming
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2016年 71卷 129-146页
作者: Hervieu, Aymeric Marijan, Dusica Gotlieb, Arnaud Baudry, Benoit INRIA Rennes Bretagne Atlantique Rennes France Simula Res Lab Fornebu Norway
Context: Testing highly-configurable software systems is challenging due to a large number of test configurations that have to be carefully selected in order to reduce the testing effort as much as possible, while mai... 详细信息
来源: 评论
A hybrid constraint programming approach to a wood procurement problem with bucking decisions
收藏 引用
constraintS 2016年 第2期21卷 303-317页
作者: Dems, Amira Rousseau, Louis-Martin Frayret, Jean-Marc Ecole Polytech Montreal PQ H3C 3A7 Canada
In this article, we present a wood procurement problem that arises in Eastern Canada. We solve a multi-period wood supply planning problem, while taking into account bucking decisions. Furthermore, we present a new fo... 详细信息
来源: 评论
Balancing bike sharing systems with constraint programming
收藏 引用
constraintS 2016年 第2期21卷 318-348页
作者: Di Gaspero, Luca Rendl, Andrea Urli, Tommaso Univ Udine DIEGM Via Sci 206 I-33100 Udine Italy NICTA 878 Dandenong Rd Caulfield Vic 3145 Australia Monash Univ Sch IT 878 Dandenong Rd Caulfield Vic 3145 Australia Austrian Inst Technol Dynam Transportat Syst Giefinggasse 2 A-1210 Vienna Austria
Bike sharing systems need to be properly rebalanced to meet the demand of users and to operate successfully. However, the problem of Balancing Bike Sharing Systems (BBSS) is a demanding task: it requires the design of... 详细信息
来源: 评论
Fleet design optimisation from historical data using constraint programming and large neighbourhood search
收藏 引用
constraintS 2016年 第1期21卷 2-21页
作者: Kilby, Philip Urli, Tommaso NICTA Canberra Res Lab Optimisat Res Grp Canberra ACT 2601 Australia
We present an original approach to compute efficient mid-term fleet configurations, at the request of a Queensland-based long-haul trucking carrier. Our approach considers one year's worth of demand data, and empl... 详细信息
来源: 评论
Approach Integrating Mixed-Integer programming and constraint programming for Planning Rotations of Inland Vessels in a Large Seaport
收藏 引用
TRANSPORTATION RESEARCH RECORD 2016年 第2549期2549卷 1-8页
作者: Li, Shijie Negenborn, Rudy R. Lodewijks, Gabriel Delft Univ Technol Dept Maritime & Transport Technol Mekelweg 2 NL-2628 CD Delft Netherlands
During the past decade, inland vessels have gained importance in container transport because of their reliability, low enviromnental impact, and major capacity for increased exploitation. Although inland vessels are c... 详细信息
来源: 评论
A lagrangian propagator for artificial neural networks in constraint programming
收藏 引用
constraintS 2016年 第4期21卷 435-462页
作者: Lombardi, Michele Gualandi, Stefano Univ Bologna Viale Risorgimento 2 I-40136 Bologna Italy AntOptima SA Via Aprica 26 CH-6900 Lugano Switzerland
This paper discusses a new method to perform propagation over a (two-layer, feed-forward) Neural Network embedded in a constraint programming model. The method is meant to be employed in Empirical Model Learning, a te... 详细信息
来源: 评论
A comparison of integer and constraint programming models for the deficiency problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2016年 68卷 89-96页
作者: Altinakar, Sivan Caporossi, Gilles Hertz, Alain Ecole Polytech Dept Math & Genie Ind Montreal PQ H3C 3A7 Canada HEC Serv Enseignement Methodes Quantitat Gest Montreal PQ Canada
An edge-coloring of a graph G = (V, E) is a function c that assigns an integer c(e) (called color) in {0,1,2, ... } to every edge e e E so that adjacent edges are assigned different colors. An edge-coloring is compact... 详细信息
来源: 评论