咨询与建议

限定检索结果

文献类型

  • 309 篇 会议
  • 8 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 计算机科学与技术...
    • 165 篇 软件工程
    • 27 篇 信息与通信工程
    • 19 篇 电气工程
    • 4 篇 化学工程与技术
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 冶金工程
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 石油与天然气工程
  • 192 篇 理学
    • 143 篇 数学
    • 116 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 4 篇 化学
    • 3 篇 生物学
    • 1 篇 地球物理学
  • 24 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 15 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 64 篇 constraint theor...
  • 52 篇 constraint satis...
  • 31 篇 constraint progr...
  • 11 篇 constrained opti...
  • 8 篇 problem solving
  • 7 篇 scheduling
  • 6 篇 mathematical log...
  • 5 篇 artificial intel...
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 4 篇 programming lang...
  • 4 篇 logics and meani...
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 algorithm analys...
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 software enginee...

机构

  • 5 篇 cork constraint ...
  • 5 篇 cork constraint ...
  • 4 篇 ecole polytech m...
  • 4 篇 fraunhofer first...
  • 4 篇 natl univ irelan...
  • 4 篇 kth royal inst t...
  • 4 篇 mines de nantes
  • 4 篇 brown univ provi...
  • 3 篇 univ bologna dei...
  • 3 篇 nicta nsw
  • 3 篇 university of co...
  • 3 篇 161 rue ada mont...
  • 3 篇 iiia-csic campus...
  • 3 篇 univ connecticut...
  • 3 篇 natl univ irelan...
  • 3 篇 univ coll cork c...
  • 3 篇 univ london impe...
  • 3 篇 univ toronto dep...
  • 2 篇 lund university ...
  • 2 篇 university of pa...

作者

  • 16 篇 stuckey peter j.
  • 11 篇 o'sullivan barry
  • 9 篇 bessiere christi...
  • 8 篇 miguel ian
  • 8 篇 beldiceanu nicol...
  • 8 篇 hebrard emmanuel
  • 8 篇 pesant gilles
  • 7 篇 van hentenryck p...
  • 7 篇 walsh toby
  • 7 篇 schulte christia...
  • 7 篇 quimper claude-g...
  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 choueiry berthe ...
  • 6 篇 simonis helmut
  • 6 篇 schaus pierre
  • 5 篇 rousseau louis-m...
  • 5 篇 hnich brahim
  • 5 篇 deville yves
  • 5 篇 bessière christi...

语言

  • 322 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
323 条 记 录,以下是311-320 订阅
排序:
Value ordering for finding all solutions: Interactions with adaptive variable ordering
Value ordering for finding all solutions: Interactions with ...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Mehta, Deepak O’Sullivan, Barry Quesada, Luis Cork Constraint Computation Centre University College Cork Ireland
We consider the impact of value ordering heuristics on the search effort required to find all solutions, or proving none exist, to a constraint satisfaction problem in k-way branching search. We show that when the var... 详细信息
来源: 评论
Increasing symmetry breaking by preserving target symmetries
Increasing symmetry breaking by preserving target symmetries
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Lee, Jimmy H. M. Li, Jingying Department of Computer Science and Engineering Chinese University of Hong Kong Shatin N.T. Hong Kong
Breaking the exponential number of all symmetries of a constraint satisfaction problem is often too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries... 详细信息
来源: 评论
constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks  26th
Constraint-Based Software Diversification for Efficient Miti...
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Tsoupidi, Rodothea Myrsini Castañeda Lozano, Roberto Baudry, Benoit KTH Royal Institute of Technology Stockholm Sweden University of Edinburgh Edinburgh United Kingdom
Modern software deployment process produces software that is uniform, and hence vulnerable to large-scale code-reuse attacks. Compiler-based diversification improves the resilience and security of software systems by ... 详细信息
来源: 评论
CLab: A C++ library for fast backtrack-free interactive product configuration
收藏 引用
10th international conference on principles and practice of constraint programming, cp 2004
作者: Jensen, Rune M. IT University of Copenhagen Rued Langgaards Vej 7 Copenhagen S Denmark
Product configuration is a successful application area of constraint programming. CLab [1,2] is an open source C++ library for building fast backtrack-free interactive product configurators. It contains functions that...
来源: 评论
Generic SBDD using computational group theory
收藏 引用
9th international conference on principles and practice of constraint programming, cp 2003
作者: Gent, Ian P. Harvey, Warwick Kelsey, Tom Linton, Steve School of Computer Science University of St Andrews St Andrews FifeKY16 9SS United Kingdom IC-Parc Imperial College London Exhibition Road LondonSW7 2AZ United Kingdom
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). the essence of SBDD is to perform ‘dominance checks’ at each node in a search tree to ensure that no symmetrically equivalent node h... 详细信息
来源: 评论
Subnet generation problem: A new network routing problem
收藏 引用
11th international conference on principles and practice of constraint programming - cp 2005
作者: Leung, Cheuk Fun Bede Richards, Barry Kamarainen, Olli IC-Parc Imperial College London London SW7 2AZ United Kingdom
We introduce a new type of network routing problem, the subnet generation problem (SGP) which is a special case of the traffic placement problem (TPP). In the TPP, given (1) a network which consists of routers and lin... 详细信息
来源: 评论
Pseudo-tree-based incomplete algorithm for distributed constraint optimization with quality bounds
Pseudo-tree-based incomplete algorithm for distributed const...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Okimoto, Tenda Joe, Yongjoon Iwasaki, Atsushi Yokoo, Makoto Faltings, Boi Kyushu University Fukuoka8190395 Japan LausanneCH-1015 Switzerland
A Distributed constraint Optimization Problem (DCOP) is a fundamental problem that can formalize various applications related to multi-agent cooperation. Since it is NP-hard, considering faster incomplete algorithms i... 详细信息
来源: 评论
Orchestrating satisfiability engines  17th
Orchestrating satisfiability engines
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: de Moura, Leonardo Microsoft Research One Microsoft Way RedmondWA98052 United States
constraint satisfaction problems arise in many diverse areas including software and hardware verification, type inference, static program analysis, test-case generation, scheduling, planning and graph problems. these ... 详细信息
来源: 评论
Weibull-based benchmarks for bin packing
Weibull-based benchmarks for bin packing
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Castiñeiras, Ignacio De Cauwer, Milan O'Sullivan, Barry Dpto. de Sistemas Informáticos Y Computación Universidad Complutense de Madrid Spain Département Informatique Université de Nantes France Cork Constraint Computation Centre University College Cork Ireland
Bin packing is a ubiquitous problem that arises in many practical applications. the motivation for the work presented here comes from the domain of data centre optimisation. In this paper we present a parameterisable ... 详细信息
来源: 评论
Non-systematic search and learning: An empirical study  4th
收藏 引用
4th international conference on principles and practice of constraint programming, cp 1998
作者: thomas Richards, E. Richards, Barry IC-Parc Imperial College LondonSW7 2AZ United Kingdom
this paper explores the performance of a new complete nonsystematic search algorithm learn-SAT on two types of 3-SAT problems, (i) an extended range of AIM problems [1] and (ii) structured unsolvable problems [2]. the... 详细信息
来源: 评论