咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 20 册 图书

馆藏范围

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

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

  • 197 篇 constraint theor...
  • 162 篇 constraint satis...
  • 64 篇 constraint progr...
  • 26 篇 constrained opti...
  • 26 篇 logic programmin...
  • 24 篇 computer program...
  • 24 篇 answer set progr...
  • 21 篇 integer programm...
  • 18 篇 scheduling
  • 15 篇 artificial intel...
  • 15 篇 dynamic programm...
  • 14 篇 mathematical log...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 12 篇 programming lang...
  • 10 篇 global constrain...
  • 10 篇 logics and meani...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 19 篇 natl univ irelan...
  • 18 篇 brown univ provi...
  • 14 篇 univ connecticut...
  • 14 篇 cork constraint ...
  • 10 篇 cork constraint ...
  • 8 篇 univ oxford comp...
  • 7 篇 natl univ irelan...
  • 7 篇 natl univ irelan...
  • 7 篇 department of me...
  • 6 篇 nicta nsw
  • 6 篇 161 rue ada mont...
  • 6 篇 natl univ singap...
  • 6 篇 univ st andrews ...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 ben gurion univ ...
  • 5 篇 brown univ dept ...
  • 5 篇 department of co...

作者

  • 29 篇 stuckey peter j.
  • 29 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 19 篇 freuder eugene c...
  • 18 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 16 篇 miguel ian
  • 16 篇 michel laurent
  • 15 篇 smith barbara m.
  • 14 篇 régin jean-charl...
  • 14 篇 bessiere christi...
  • 14 篇 schaus pierre
  • 13 篇 gent ian p.
  • 13 篇 beldiceanu nicol...
  • 13 篇 schulte christia...
  • 13 篇 pesant gilles
  • 12 篇 beck j. christop...
  • 11 篇 hebrard emmanuel
  • 10 篇 hnich brahim
  • 10 篇 nightingale pete...

语言

  • 1,073 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是881-890 订阅
排序:
Computing the Local Aromaticity of Benzenoids thanks to constraint programming  26th
Computing the Local Aromaticity of Benzenoids Thanks to Con...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Carissan, Yannick Dim, Chisom-Adaobi Hagebaum-Reignier, Denis Prcovic, Nicolas Terrioux, Cyril Varet, Adrien Aix Marseille Univ CNRS Centrale Marseille ISM2 Marseille France Aix Marseille Univ Université de Toulon CNRS LIS Marseille France
Benzenoids are a subfamily of hydrocarbons (molecules that are only made of hydrogen and carbon atoms) whose carbon atoms form hexagons. these molecules are widely studied in theoretical chemistry. then, there is a lo... 详细信息
来源: 评论
the SeqBin constraint revisited
The SeqBin constraint revisited
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Katsirelos, George Narodytska, Nina Walsh, Toby UBIA INRA Toulouse France NICTA UNSW Sydney Australia
We revisit the SeqBin constraint [1]. this meta-constraint subsumes a number of important global constraints like Change [2], Smooth [3] and IncreasingNValue [4]. We show that the previously proposed filtering algorit... 详细信息
来源: 评论
A filtering algorithm for the stretch constraint  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Pesant, Gilles Centre for Research on Transportation Université de Montréal C.P. 6128 succ. Centre-ville MontrealH3C 3J7 Canada École Polytechnique de Montréal Montreal Canada
this paper describes a filtering algorithm for a type of constraint that often arises in rostering problems but that also has wider application. Defined on a sequence of variables, the stretch constraint restricts the... 详细信息
来源: 评论
Exploiting multidirectionality in coarse-grained arc consistency algorithms
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Lecoutre, Christophe Boussemart, Frédéric Hemery, Fred CNRS FRE 2499 Rue de l’université SP 16 Lens cedex62307 France
Arc consistency plays a central role in solving constraint Satisfaction Problems. this is the reason why many algorithms have been proposed to establish it. Recently, an algorithm called AC2001 and AC3.1 has been inde... 详细信息
来源: 评论
Improved bounded max-sum for distributed constraint optimization
Improved bounded max-sum for distributed constraint optimiza...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Rollon, Emma Larrosa, Javier Departament de Llenguatges I Sistemes Informàtics Universitat Politècnica de Catalunya Spain
Bounded Max-Sum is a message-passing algorithm for solving Distributed constraint Optimization Problems able to compute solutions with a guaranteed approximation ratio. Although its approximate solutions were empirica... 详细信息
来源: 评论
A generic method for identifying and exploiting dominance relations
A generic method for identifying and exploiting dominance re...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Chu, Geoffrey Stuckey, Peter J. National ICT Australia Department of Computer Science and Software Engineering University of Melbourne Australia
Many constraint problems exhibit dominance relations which can be exploited for dramatic reductions in search space. Dominance relations are a generalization of symmetry and conditional symmetry. However, unlike symme... 详细信息
来源: 评论
A constraint optimization framework for mapping a digital signal processing application onto a parallel architecture
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Mattioli, Juliette Museux, Nicolas Jourdan, J. Savèant, Pierre De Givry, Simon THALES Corporate Research Laboratory Domaine de Corbeville Orsay Cedex91404 France
In this paper, we present a domain specific optimization framework based on a concurrent model-based approach for handling the complete problem of mapping a DSP application on a parallel architecture. the implementati... 详细信息
来源: 评论
Exploring chemistry using SMT
Exploring chemistry using SMT
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Fagerberg, Rolf Flamm, Christoph Merkle, Daniel Peters, Philipp Department of Mathematics and Computer Science University of Southern Denmark Denmark Institute for Theoretical Chemistry University of Vienna Austria
How to synthesize molecules is a fundamental and well studied problem in chemistry. However, computer aided methods are still under-utilized in chemical synthesis planning. Given a specific chemistry (a set of chemica... 详细信息
来源: 评论
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Beldiceanu, Nicolas Carlsson, Mats SICS Lägerhyddsv. 18 UppsalaSE-752 37 Sweden
We first present a generic pruning technique which aggregates several constraints sharing some variables. the method is derived from an idea called sweep which is extensively used in computational geometry. A first be... 详细信息
来源: 评论
New lower bounds of constraint violations for over-constrained problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Règin, Jean-Charles Petit, thierry Bessière, Christian Puget, Jean-François ILOG 1681 route des Dolines Valbonne06560 France LIRMM UMR 5506 CNRS 161 rue Ada Montpellier Cedex 534392 France ILOG 9 rue de Verdun BP 85 Gentilly Cedex94253 France
In recent years, many works have been carried out to solve over-constrained problems, and more specifically the Maximal constraint Satisfaction Problem (Max-CSP), where the goal is to minimize the number of constraint... 详细信息
来源: 评论