咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Learning weak constraints in answer set programming
收藏 引用
thEORY AND practice OF LOGIC programming 2015年 第4-5期15卷 511-525页
作者: Law, Mark Russo, Alessandra Broda, Krysia Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning fro... 详细信息
来源: 评论
principles and practice of constraint programming-CP 2001
收藏 引用
丛书名: Lecture notes in computer science;,Lecture notes in computer science
2001年
作者: Toby Walsh (ed.).
来源: 评论
Propagating the Bin Packing constraint Using Linear programming
Propagating the Bin Packing Constraint Using Linear Programm...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Cambazard, Hadrien O'Sullivan, Barry Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
the state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow models, with the filtering of the bin p... 详细信息
来源: 评论
constraint-Directed Search in Computational Finance and Economics
Constraint-Directed Search in Computational Finance and Econ...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Tsang, Edward Univ Essex Ctr Computat Intelligence Finance & Econ CCFEA Colchester CO4 3SQ Essex England
constraints shield solutions from a problem solver. However, in the hands of trained constraint problem solvers, the same constraints that create the problems in the first place can also guide problem solvers to solut... 详细信息
来源: 评论
constraint-Based Synthesis of Datalog Programs  23rd
Constraint-Based Synthesis of Datalog Programs
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Albarghouthi, Aws Koutris, Paraschos Naik, Mayur Smith, Calvin Univ Wisconsin Madison WI 53706 USA Univ Penn Philadelphia PA 19104 USA
We study the problem of synthesizing recursive Datalog programs from examples. We propose a constraint-based synthesis approach that uses an SMT solver to efficiently navigate the space of Datalog programs and their c... 详细信息
来源: 评论
Eplex: Harnessing Mathematical programming solvers for constraint Logic programming
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Shen, K Schimpf, J Univ London Imperial Coll Sci & Technol London SW7 2AZ England
the eplex library of the (ECLPSe)-P-i constraint Logic programming platform allows the integration of Mathematical programming techniques with its native constraint Logic programming techniques within the same unified... 详细信息
来源: 评论
Exploring different constraint-based modelings for program verification
Exploring different constraint-based modelings for program v...
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Collavizza, Helene Rueher, Michel Univ Nice CNRS I3S F-06903 Sophia Antipolis France
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. constraint generated for these tasks may involve integer ranging on al... 详细信息
来源: 评论
Clique Cuts in Weighted constraint Satisfaction  23rd
Clique Cuts in Weighted Constraint Satisfaction
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: de Givry, Simon Katsirelos, George INRA MIAT UR 875 F-31320 Castanet Tolosan France
In integer programming, cut generation is crucial for improving the tightness of the linear relaxation of the problem. this is relevant for weighted constraint satisfaction problems (WCSPs) in which we use approximate... 详细信息
来源: 评论
A Tolerant Algebraic Side-Channel Attack on AES Using CP  23rd
A Tolerant Algebraic Side-Channel Attack on AES Using CP
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Liu, Fanghui Cruz, Waldemar Ma, Chujiao Johnson, Greg Michel, Laurent Univ Connecticut Dept Comp Sci & Engn Sch Engn Storrs CT 06269 USA
AES is a mainstream block cipher used in many protocols and whose resilience against attack is essential for cybersecurity. In [14], Oren and Wool discuss a Tolerant Algebraic Side-Channel Analysis (TASCA) and show ho... 详细信息
来源: 评论
Advisors for incremental propagation
Advisors for incremental propagation
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Lagerkvist, Mikael Z. Schulte, Christian Royal Inst Technol Sch Informat & Commun Technol Stockholm Sweden
While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming systems should support incremental propagation. th... 详细信息
来源: 评论