咨询与建议

限定检索结果

文献类型

  • 61 篇 会议
  • 4 册 图书

馆藏范围

  • 65 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 49 篇 理学
    • 40 篇 系统科学
    • 28 篇 数学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
  • 49 篇 工学
    • 47 篇 计算机科学与技术...
    • 40 篇 软件工程
    • 4 篇 信息与通信工程
    • 2 篇 化学工程与技术
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 石油与天然气工程
    • 1 篇 环境科学与工程(可...
  • 9 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 5 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 经济学
    • 2 篇 应用经济学

主题

  • 16 篇 constraint theor...
  • 9 篇 constraint satis...
  • 6 篇 constraint progr...
  • 3 篇 constrained opti...
  • 3 篇 mathematical log...
  • 3 篇 programming lang...
  • 3 篇 logics and meani...
  • 2 篇 model checking
  • 2 篇 computational ge...
  • 2 篇 discrete mathema...
  • 2 篇 numeric computin...
  • 2 篇 distributed cons...
  • 2 篇 scheduling
  • 2 篇 cryptography
  • 2 篇 algorithm analys...
  • 1 篇 smart homes
  • 1 篇 traveling salesm...
  • 1 篇 learning systems
  • 1 篇 frequency alloca...
  • 1 篇 computational co...

机构

  • 3 篇 cork constraint ...
  • 3 篇 cork constraint ...
  • 2 篇 university of co...
  • 2 篇 optimization res...
  • 2 篇 mines de nantes
  • 2 篇 national ict aus...
  • 2 篇 brown univ provi...
  • 2 篇 icteam universit...
  • 1 篇 free univ amster...
  • 1 篇 sics lagerhyddsv...
  • 1 篇 department of op...
  • 1 篇 antwerp maritime...
  • 1 篇 irit university ...
  • 1 篇 university of ge...
  • 1 篇 university of co...
  • 1 篇 florida inst tec...
  • 1 篇 cermics 2004 rou...
  • 1 篇 sics kista 16429
  • 1 篇 department of co...
  • 1 篇 nicta unsw

作者

  • 6 篇 beldiceanu nicol...
  • 5 篇 carlsson mats
  • 4 篇 stuckey peter j.
  • 4 篇 o'sullivan barry
  • 3 篇 van hentenryck p...
  • 3 篇 simonis helmut
  • 3 篇 michel laurent
  • 2 篇 pearson justin
  • 2 篇 solnon christine
  • 2 篇 dullaert wout
  • 2 篇 hirayama katsuto...
  • 2 篇 rueher michel
  • 2 篇 matsui toshihiro
  • 2 篇 cooper martin c.
  • 2 篇 laviolette franç...
  • 2 篇 chu geoffrey
  • 2 篇 michel laurent d...
  • 2 篇 van schaeren row...
  • 2 篇 hebrard emmanuel
  • 2 篇 flener pierre

语言

  • 64 篇 英文
  • 1 篇 中文
检索条件"任意字段=18th International Conference on Principles and Practice of Constraint Programming, CP 2012"
65 条 记 录,以下是21-30 订阅
排序:
An optimal filtering algorithm for table constraints
An optimal filtering algorithm for table constraints
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Mairy, Jean-Baptiste Van Hentenryck, Pascal Deville, Yves ICTEAM Université Catholique de Louvain Belgium Optimization Research Group NICTA University of Melbourne Australia
Filtering algorithms for table constraints are constraint-based, which means that the propagation queue only contains information on the constraints that must be reconsidered. this paper proposes four efficient value-... 详细信息
来源: 评论
the semigroups of order 10
The semigroups of order 10
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Distler, Andreas Jefferson, Chris Kelsey, Tom Kotthoff, Lars Centro de Álgebra Universidade de Lisboa Lisboa 1649-003 Portugal School of Computer Science University of St. Andrews KY16 9SX United Kingdom
the number of finite semigroups increases rapidly with the number of elements. Since existing counting formulae do not give the complete number of semigroups of given order up to equivalence, the remainder can only be... 详细信息
来源: 评论
A Complete Tolerant Algebraic Side-Channel Attack for AES with cp  1
收藏 引用
24th international conference on the principles and practice of constraint programming (cp)
作者: Liu, Fanghui Cruz, Waldemar Michel, Laurent Univ Connecticut Sch Engn Comp Sci & Engn Dept Storrs CT 06269 USA
Tolerant Algebraic Side-Channel Attack (TASCA) is a combination of algebraic and side-channel analysis with error tolerance. Oren et al., used mathematical programming to implement TASCA over a round-limited version o... 详细信息
来源: 评论
Towards solver-independent propagators
Towards solver-independent propagators
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Monette, Jean-Noël Flener, Pierre Pearson, Justin Department of Information Technology Uppsala University Uppsala Sweden
We present an extension to indexicals to describe propagators for global constraints. the resulting language is compiled into actual propagators for different solvers, and is solver-independent. In addition, we show h... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An optimal arc consistency algorithm for a chain of atmost constraints with cardinality
An optimal arc consistency algorithm for a chain of atmost c...
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Siala, Mohamed Hebrard, Emmanuel Huguet, Marie-José CNRS LAAS 7 avenue du colonel Roche Toulouse F-31400 France Univ. de Toulouse INSA LAAS Toulouse F-31400 France Univ de Toulouse LAAS Toulouse F-31400 France
the AtMostSeqCard constraint is the conjunction of a cardinality constraint on a sequence of n variables and of n - q + 1 constraints AtMost u on each subsequence of size q. this constraint is useful in car-sequencing... 详细信息
来源: 评论
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... 详细信息
来源: 评论
constraint programming for path planning with uncertainty: Solving the optimal search path problem
Constraint programming for path planning with uncertainty: S...
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Morin, Michael Papillon, Anika-Pascale Abi-Zeid, Irène Laviolette, François Quimper, Claude-Guy Department of Computer Science and Software Engineering Université Laval Québec QC Canada Department of Mathematics and Statistics Université Laval Québec QC Canada Department of Operations and Decision Systems Université Laval Québec QC Canada
the optimal search path (OSP) problem is a single-sided detection search problem where the location and the detectability of a moving object are uncertain. A solution to this -hard problem is a path on a graph that ma... 详细信息
来源: 评论
principles and practice of constraint programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this volume contains the proceedings of the 14th international conference on principles and practice of constraint programming (cp 2008) held in Sydney, Australia, September 14–18, 2008. the conference was held in co... 详细信息
来源: 评论
A constraint programming approach for the traveling purchaser problem
A constraint programming approach for the traveling purchase...
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Cambazard, Hadrien Penz, Bernard G-SCOP Université de Grenoble / Grenoble-INP / UJF-Grenoble 1 / CNRS France
We present a novel approach to the Traveling Purchaser Problem (TPP), based on constraint programming and Lagrangean relaxation. the TPP is a generalization of the Traveling Salesman Problem involved in many real-worl... 详细信息
来源: 评论