咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

  • 197 篇 constraint theor...
  • 162 篇 constraint satis...
  • 64 篇 constraint progr...
  • 26 篇 constrained opti...
  • 26 篇 logic programmin...
  • 24 篇 computer program...
  • 24 篇 answer set progr...
  • 21 篇 integer programm...
  • 18 篇 scheduling
  • 15 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

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

作者

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

语言

  • 1,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是251-260 订阅
排序:
Find Your Way Back: Mobility Profile Mining with constraints  21st
Find Your Way Back: Mobility Profile Mining with Constraints
收藏 引用
31st international conference on Logic programming (ICLP) Co-located with the 21st international conference on principles and practice of constraint programming (CP)
作者: Kotthoff, Lars Nanni, Mirco Guidotti, Riccardo O'Sullivan, Barry Univ British Columbia Vancouver BC V5Z 1M9 Canada Univ Pisa ISTI CNR KDDLab Pisa Italy Univ Pisa CS Dept Pisa Italy Natl Univ Ireland Univ Coll Cork Insight Ctr Data Analyt Cork Ireland
Mobility profile mining is a data mining task that can be formulated as clustering over movement trajectory data. the main challenge is to separate the signal from the noise, i.e. one-off trips. We show that standard ... 详细信息
来源: 评论
Leximin Asymmetric Multiple Objective DCOP on Factor Graph  18th
Leximin Asymmetric Multiple Objective DCOP on Factor Graph
收藏 引用
18th international conference on principles and practice of Multi-Agent Systems (PRIMA)
作者: Matsui, Toshihiro Silaghi, Marius Okimoto, Tenda Hirayama, Katsutoshi Yokoo, Makoto Matsuo, Hiroshi Nagoya Inst Technol Nagoya Aichi 4668555 Japan Florida Inst Technol Melbourne FL 32901 USA Kobe Univ Kobe Hyogo 6580022 Japan Kyushu Univ Fukuoka 8190395 Japan
Leximin AMODCOP has been proposed as a class of Multiple Objective Distributed constraint Optimization Problems, where multiple objectives for individual agents are optimized based on the leximin operator. this proble... 详细信息
来源: 评论
Decomposition based hybrid metaheuristics
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2015年 第1期244卷 66-76页
作者: Raidl, Guenther R. Vienna Univ Technol Inst Comp Graph & Algorithms A-1040 Vienna Austria
Difficult combinatorial optimization problems coming from practice are nowadays often approached by hybrid metaheuristics that combine principles of classical metaheuristic techniques with advanced methods from fields... 详细信息
来源: 评论
Decomposition based hybrid metaheuristics
Decomposition based hybrid metaheuristics
收藏 引用
26th EURO-INFORMS Joint international conference
作者: Raidl, Guenther R. Vienna Univ Technol Inst Comp Graph & Algorithms A-1040 Vienna Austria
Difficult combinatorial optimization problems coming from practice are nowadays often approached by hybrid metaheuristics that combine principles of classical metaheuristic techniques with advanced methods from fields... 详细信息
来源: 评论
Configurational optimizer of Combined Cycle Propulsion using Genetic programming
Configurational optimizer of Combined Cycle Propulsion using...
收藏 引用
IEEE Symposium Series on Computational Intelligence
作者: Alessandro Mogavero Department of Mechanical and Aerospace engineering University of Strathclyde Glasgow UK G1 1XJ
In most engineering applications the optimization is employed after the conceptual design is already frozen with the only purpose of perfecting it. Although optimization algorithms capable of optimizing the configurat... 详细信息
来源: 评论
principles and practice of constraint programming - 19th international conference, CP 2013, Proceedings
Principles and Practice of Constraint Programming - 19th Int...
收藏 引用
19th international conference on principles and practice of constraint programming, CP 2013
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT vers...
来源: 评论
Concurrent constraint programming Research Programmes - Redux
Concurrent Constraint Programming Research Programmes - Redu...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Saraswat, Vijay IBM TJ Watson Res Ctr Yorktown Hts NY 10598 USA
At the first PPCP conference in 1995, I was honored to be one of the invited speakers. Twenty conferences later, much has changed in the computational *** have seen the penetration of the Internet in every aspect of h...
来源: 评论
Teaching constraint programming
Teaching Constraint Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Prosser, Patrick Univ Glasgow Sch Comp Sci Glasgow G12 8QQ Lanark Scotland
How do we do research?We start with a question. then we read books, journal and conference papers, maybe even speak to people. then we do our own work, make our own contribution, maybe coming up with an improved techn... 详细信息
来源: 评论
Encoding Linear constraints into SAT
Encoding Linear Constraints into SAT
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Abio, Ignasi Stuckey, Peter J. NICTA Victoria Lab Melbourne Vic Australia
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encoding linear constraints to SAT performs poorl... 详细信息
来源: 评论
Decomposing Utility Functions in Bounded Max-Sum for Distributed constraint Optimization
Decomposing Utility Functions in Bounded Max-Sum for Distrib...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Rollon, Emma Larrosa, Javier Univ Politecn Cataluna Barcelona Spain
Bounded Max-Sum is a message-passing algorithm for solving Distributed constraint Optimization Problems (DCOP) able to compute solutions with a guaranteed approximation ratio. In this paper we show that the introducti... 详细信息
来源: 评论