咨询与建议

限定检索结果

文献类型

  • 131 篇 会议
  • 3 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 118 篇 工学
    • 114 篇 计算机科学与技术...
    • 38 篇 软件工程
    • 4 篇 电气工程
    • 3 篇 信息与通信工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
  • 68 篇 理学
    • 60 篇 数学
    • 21 篇 系统科学
    • 4 篇 物理学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 11 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 26 篇 constraint theor...
  • 14 篇 constraint satis...
  • 9 篇 computer program...
  • 8 篇 constraint progr...
  • 6 篇 linear programmi...
  • 4 篇 integer programm...
  • 3 篇 target cost
  • 3 篇 problem solving
  • 3 篇 goal programming
  • 3 篇 mathematical log...
  • 3 篇 programming lang...
  • 3 篇 artificial intel...
  • 3 篇 logics and meani...
  • 3 篇 scheduling
  • 2 篇 software enginee...
  • 2 篇 modeling languag...
  • 2 篇 symmetry
  • 2 篇 constrained opti...
  • 2 篇 logic programmin...
  • 2 篇 global constrain...

机构

  • 3 篇 univ coll cork c...
  • 3 篇 univ st andrews ...
  • 3 篇 univ oxford comp...
  • 3 篇 natl univ irelan...
  • 3 篇 univ melbourne m...
  • 3 篇 brown univ provi...
  • 2 篇 univ st andrews ...
  • 2 篇 nicta nsw
  • 2 篇 insight centre f...
  • 2 篇 univ genoa dibri...
  • 2 篇 cork constraint ...
  • 2 篇 univ coll cork d...
  • 2 篇 univ london roya...
  • 2 篇 imdea software i...
  • 2 篇 aix marseille un...
  • 2 篇 aix marseille un...
  • 2 篇 univ coll cork c...
  • 2 篇 faculty of elect...
  • 2 篇 univ st andrews ...
  • 1 篇 ligm ecole des p...

作者

  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 o'sullivan barry
  • 5 篇 miguel ian
  • 5 篇 van hentenryck p...
  • 5 篇 jefferson christ...
  • 5 篇 quesada luis
  • 4 篇 kotthoff lars
  • 4 篇 bessiere christi...
  • 4 篇 de givry simon
  • 3 篇 stuckey peter j.
  • 3 篇 werner tomáš
  • 3 篇 jeavons peter
  • 3 篇 simonis helmut
  • 3 篇 lombardi michele
  • 3 篇 walsh toby
  • 3 篇 dlask tomáš
  • 3 篇 mehta deepak
  • 2 篇 pearson justin
  • 2 篇 solnon christine

语言

  • 136 篇 英文
检索条件"任意字段=16th Annual International Conference on the Principles and Practice of Constraint Programming"
136 条 记 录,以下是101-110 订阅
排序:
Positive and negative length-bound reachability constraints  27
Positive and negative length-bound reachability constraints
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Quesada, Luis Brown, Kenneth N. Insight Centre for Data Analytics School of Computer Science University College Cork Ireland
In many application problems, including physical security and wildlife conservation, infrastructure must be configured to ensure or deny paths between specified locations. We model the problem as sub-graph design subj... 详细信息
来源: 评论
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Bessière, Christian Chmeiss, Assef Saïs, Lakhdar 161 rue Ada Montpellier Cedex 534392 France CRIL - Université d’ Artois IUT de Lens Rue de l’université - SP 16 LENS Cedex62307 France
One of the key factors in the efficiency of backtracking algorithms is the rule they use to decide on which variable to branch next (namely, the variable ordering heuristics). In this paper, we give a formulation of d... 详细信息
来源: 评论
A constraint-based framework for prototyping distributed virtual applications  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Gupta, Vineet Jagadeesan, Lalita Jategaonkar Jagadeesan, Radha Jiang, Xiaowei Läufer, Konstantin 201 Ravendale Mountain ViewCA94043 United States Software Production Research Dept Bell Laboratories Lucent Technologies 263 Shuman Blvd NapervilleIL60566 United States Dept. of Mathematical and Computer Sciences Loyola University Chicago 6525 N. Sheridan Road ChicagoIL60626 United States
this paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrate... 详细信息
来源: 评论
Epistemic Logic Programs: A Study of Some Properties  16th
Epistemic Logic Programs: A Study of Some Properties
收藏 引用
16th international conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Costantini, Stefania Formisano, Andrea Univ Aquila DISIM Laquila Italy Univ Udine DMIF Udine Italy
Epistemic Logic Programs (ELPs), extend Answer Set programming (ASP) with epistemic operators. the semantics of such programs is provided in terms of world views, which are sets of belief sets. Different semantic appr... 详细信息
来源: 评论
A constraint programming approach to the stable marriage problem  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Gent, Ian P Irving, Robert W Manlove, David F Prosser, Patrick Smith, Barbara M School of Computer Science University of St. Andrews United Kingdom Department of Computing Science University of Glasgow United Kingdom School of Computing and Mathematics University of Huddersfield United Kingdom
the Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a constraint Satisfa... 详细信息
来源: 评论
principles and practice of constraint programming – CP 2004  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mark Wallace
the 10th international conference on the principles and practice of constraint programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found o... 详细信息
来源: 评论
Computer Science principles: Impacting Student Motivation & Learning Within and Beyond the Classroom  16
Computer Science Principles: Impacting Student Motivation & ...
收藏 引用
12th ACM annual conference on international Computing Education Research (ICER)
作者: Behnke, Kara A. Kos, Brittany Ann Bennett, John K. Univ Colorado ATLAS Inst 1125 18th St320 UCB Boulder CO 80309 USA Univ Denver inWorks 1380 Lawrence StSuite 1400 Denver CO 80204 USA
the Computer Science (CS) principles framework seeks to broaden student participation and diversity in the field by focusing on the creative and social aspects of computing. As the pilot effort undergoes its early exe... 详细信息
来源: 评论
Software Development as an Experiment System: A Qualitative Survey on the State of the practice  16th
Software Development as an Experiment System: A Qualitative ...
收藏 引用
16th international conference on Agile Software Development (XP)
作者: Lindgren, Eveliina Munch, Jurgen Univ Helsinki Dept Comp Sci POB 68 FI-00014 Helsinki Finland
An experiment-driven approach to software product and service development is gaining increasing attention as a way to channel limited resources to the efficient creation of customer value. In this approach, software f... 详细信息
来源: 评论
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... 详细信息
来源: 评论
On Relation Between constraint Propagation and Block-Coordinate Descent in Linear Programs  26th
On Relation Between Constraint Propagation and Block-Coordin...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Dlask, Tomáš Werner, Tomáš Faculty of Electrical Engineering Czech Technical University in Prague Prague Czech Republic
Block-coordinate descent (BCD) is a popular method in large-scale optimization. Unfortunately, its fixed points are not global optima even for convex problems. A succinct characterization of convex problems optimally ... 详细信息
来源: 评论