咨询与建议

限定检索结果

文献类型

  • 1,022 篇 期刊文献
  • 820 篇 会议
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,605 篇 工学
    • 1,333 篇 计算机科学与技术...
    • 494 篇 软件工程
    • 177 篇 电气工程
    • 135 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 51 篇 土木工程
    • 40 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 电子科学与技术(可...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 9 篇 动力工程及工程热...
  • 618 篇 管理学
    • 599 篇 管理科学与工程(可...
    • 119 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 485 篇 理学
    • 362 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,864 篇 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 篇 英文
  • 94 篇 其他
  • 11 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1864 条 记 录,以下是291-300 订阅
constraint programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays  22nd
Constraint Programming Approach to the Problem of Generating...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Tanaka, Tsubasa Bemman, Brian Meredith, David UPMC CNRS STMS Lab IRCAM Paris France Aalborg Univ Aalborg Denmark
Milton Babbitt (1916-2011) was a composer of twelve-tone serial music noted for creating the all-partition array. One part of the problem in generating an all-partition array requires finding a covering of a pitch-cla... 详细信息
来源: 评论
constraint programming for Strictly Convex Integer Quadratically-Constrained Problems  22nd
Constraint Programming for Strictly Convex Integer Quadratic...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Ku, Wen-Yang Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
Inspired by the geometric reasoning exploited in discrete ellipsoid-based search (DEBS) from the communications literature, we develop a constraint programming (CP) approach to solve problems with strictly convex quad... 详细信息
来源: 评论
A learning Portfolio solver for optimizing the performance of constraint programming problems on multi-core computing systems
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第4期29卷 e3840.1-e3840.17页
作者: Menouer, Tarek Sukhija, Nitin Le Cun, Bertrand Univ Versailles St Quentin En Yvelines LI PaRAD Lab Versailles France Mississippi State Univ Dept Comp Sci & Engn Starkville MS USA
This paper describes a learning parallel constraint programming (CP) solver designed for solving CP problems with several instances on massively parallel computing platforms comprising multi-core parallel machines or ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论