咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

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

机构

  • 18 篇 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 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

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

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是941-950 订阅
Factor analytic studies of CSP heuristics
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Wallace, Richard J. Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying variables. In this study factor analysi... 详细信息
来源: 评论
FastMapSVM for Predicting CSP Satisfiability  29
FastMapSVM for Predicting CSP Satisfiability
收藏 引用
29th international conference on principles and practice of constraint programming, CP 2023
作者: Zheng, Kexin Li, Ang Zhang, Han Kumar, T.K. Satish University of Southern California Los AngelesCA United States
Recognizing the satisfiability of constraint Satisfaction Problems (CSPs) is NP-hard. Although several Machine Learning (ML) approaches have attempted this task by casting it as a binary classification problem, they h... 详细信息
来源: 评论
A Predicate Construct for Declarative programming in Imperative Languages  22
A Predicate Construct for Declarative Programming in Imperat...
收藏 引用
24th international Symposium on principles and practice of Declarative programming, PPDP 2022
作者: Smith, James Guo, Xiangyu Bansal, Ajay Arizona State University MesaAZ United States
Imperative and object-oriented programming languages are among the most common languages for general-purpose programming. these languages work well for handling many common tasks necessary for most applications. Howev... 详细信息
来源: 评论
Symmetry breaking using stabilizers
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Puget, Jean-François ILOG 9 avenue de Verdun Gentilly94253 France
the addition of symmetry breaking constraints is one of the most successful symmetry breaking technique for constraint satisfaction problems (CSP). In this paper we present STAB, a method that adds some symmetry break... 详细信息
来源: 评论
Space-time tradeoffs for the regular constraint
Space-time tradeoffs for the regular constraint
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Cheng, Kenil C. K. Xia, Wei Yap, Roland H. C. School of Computing National University of Singapore Singapore
Many global constraints can be described by a regular expression or a DFA. Originally, the regular constraint, uses a DFA to describe the constraint, however, it can also be used to express a table constraint. thus, t... 详细信息
来源: 评论
Perturbing Branching Heuristics in constraint Solving  26th
Perturbing Branching Heuristics in Constraint Solving
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Paparrizou, Anastasia Wattez, Hugues CRIL University of Artois & CNRS Lens France
Variable ordering heuristics are one of the key settings for an efficient constraint solver. During the last two decades, a considerable effort has been spent for designing dynamic heuristics that iteratively change t... 详细信息
来源: 评论
Stable solutions for dynamic constraint satisfaction problems  4th
收藏 引用
4th international conference on principles and practice of constraint programming, CP 1998
作者: Wallace, Richard J. Freuder, Eugene C. University of New Hampshire DurhamNH03824 United States
An important extension of constraint technology involves problems that undergo changes that may invalidate the current solution. Previous work on dynamic problems sought methods for efficiently finding new solutions. ... 详细信息
来源: 评论
Dimensioning an inbound call center using constraint programming
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Canon, Cyril Billaut, Jean-Charles Bouquard, Jean-Louis Vitalicom 643 avenue du grain d'or 41350 Vineuil France Université François-Rabelais de Tours Laboratoire d'Informatique 64 avenue Jean Portails 37200 Tours France
One of the critical problems in the call center industries is the staffing problem, since they must face variable demands and because staff costs represent a major part of the costs of these industries. Prom a modelin... 详细信息
来源: 评论
An empirical study of probabilistic arc consistency as a variable ordering heuristic
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Horsch, Michael C. Havens, William S. Intelligent Systems Laboratory School of Computing Science Simon Fraser University BurnabyBCV5A 1S6 Canada
We report on an empirical evaluation of a new probabilistic heuristic for constructive search in constraint satisfaction problems. the heuristic is based on the estimation of solution probability. We show empirically ... 详细信息
来源: 评论
MDD Archive for Boosting the Pareto constraint  29
MDD Archive for Boosting the Pareto Constraint
收藏 引用
29th international conference on principles and practice of constraint programming, CP 2023
作者: Malalel, Steve Malapert, Arnaud Pelleau, Marie Régin, Jean-Charles Université Côte d'Azur CNRS I3S Nice France
Multi-objective problems are frequent in the real world. In general they involve several incomparable objectives and the goal is to find a set of Pareto optimal solutions, i.e. solutions that are incomparable two by t... 详细信息
来源: 评论