咨询与建议

限定检索结果

文献类型

  • 1,022 篇 期刊文献
  • 820 篇 会议
  • 20 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,607 篇 工学
    • 1,336 篇 计算机科学与技术...
    • 491 篇 软件工程
    • 178 篇 电气工程
    • 134 篇 机械工程
    • 133 篇 控制科学与工程
    • 55 篇 信息与通信工程
    • 51 篇 土木工程
    • 40 篇 交通运输工程
    • 36 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 电子科学与技术(可...
    • 10 篇 仪器科学与技术
    • 10 篇 生物工程
    • 8 篇 动力工程及工程热...
    • 6 篇 生物医学工程(可授...
  • 616 篇 管理学
    • 597 篇 管理科学与工程(可...
    • 119 篇 工商管理
    • 12 篇 图书情报与档案管...
    • 6 篇 公共管理
  • 484 篇 理学
    • 361 篇 数学
    • 165 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
  • 77 篇 经济学
    • 64 篇 应用经济学
    • 14 篇 理论经济学
  • 14 篇 医学
    • 8 篇 基础医学(可授医学...
  • 9 篇 农学
  • 7 篇 法学
  • 7 篇 教育学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,862 篇 constraint progr...
  • 175 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 29 篇 machine learning
  • 28 篇 mathematical pro...
  • 28 篇 constraint satis...
  • 24 篇 mixed integer li...
  • 23 篇 planning
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 mixed-integer pr...
  • 22 篇 linear programmi...
  • 22 篇 global constrain...
  • 22 篇 constraint propa...
  • 20 篇 search

机构

  • 24 篇 pontificia univ ...
  • 13 篇 univ autonoma ch...
  • 13 篇 univ st andrews ...
  • 12 篇 univ toronto dep...
  • 11 篇 univ san sebasti...
  • 10 篇 univ cient sur l...
  • 9 篇 univ bologna dei...
  • 9 篇 brown univ provi...
  • 8 篇 univ tehran coll...
  • 8 篇 univ cent chile ...
  • 7 篇 katholieke univ ...
  • 7 篇 carnegie mellon ...
  • 7 篇 univ toronto dep...
  • 7 篇 univ playa ancha...
  • 7 篇 natl univ irelan...
  • 7 篇 univ valparaiso ...
  • 7 篇 new mexico state...
  • 6 篇 katholieke univ ...
  • 6 篇 natl yunlin univ...
  • 6 篇 univ nantes lina...

作者

  • 30 篇 crawford broderi...
  • 29 篇 beck j. christop...
  • 26 篇 stuckey peter j.
  • 24 篇 monfroy eric
  • 23 篇 soto ricardo
  • 23 篇 schaus pierre
  • 21 篇 rousseau louis-m...
  • 20 篇 milano michela
  • 18 篇 van hentenryck p...
  • 18 篇 o'sullivan barry
  • 17 篇 lombardi michele
  • 16 篇 miguel ian
  • 15 篇 guns tias
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 13 篇 nijssen siegfrie...
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nightingale pete...

语言

  • 1,725 篇 英文
  • 103 篇 其他
  • 11 篇 中文
  • 4 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1862 条 记 录,以下是1761-1770 订阅
University timetabling using constraint logic programming
University timetabling using constraint logic programming
收藏 引用
1st International Workshop on Practical Aspects of Declarative Languages, PADL'99
作者: Goltz, Hans-Joachim Matzke, Dirk GMD - German National Research Center for Information Technology GMD-FIRST Rudower Chaussee 5 D-12489 Berlin Germany
A timetable is a temporal arrangement of a set of meetings such that all given constraints are satisfied. A timetabling problem can be suitably modelled in terms of a set of constraints. We use constraint Logic Progra... 详细信息
来源: 评论
Parallel execution of prolog programs: A survey
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2001年 第4期23卷 472-602页
作者: Gupta, G Pontelli, E Ali, KAM Carlsson, M Hermenegildo, MV Univ Texas Dept Comp Sci Richardson TX 75083 USA New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Swedish Inst Comp Sci SE-16429 Kista Sweden Univ Politecn Madrid Fac Informat E-28660 Madrid Spain
Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterm... 详细信息
来源: 评论
The Munich rent advisor:: A success for logic programming on then Internet
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2001年 第3期1卷 303-319页
作者: Frühwirth, T Abdennadher, S Univ Munich Inst Informat D-80538 Munich Germany
Most cities in Germany regularly publish a booklet called the Mietspiegel. It basically contains a verbal description of an expert system. It allows the calculation of the estimated fair rent for a flat. By band, one ... 详细信息
来源: 评论
A declarative Modeling framework that integrates solution methods
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2001年 第1期104卷 141-161页
作者: Hooker, JN Kim, HJ Ottosson, G Carnegie Mellon Univ Grad Sch Ind Adm Pittsburgh PA 15213 USA Uppsala Univ Dept Comp Sci S-75105 Uppsala Sweden
constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathemati... 详细信息
来源: 评论
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
收藏 引用
constraints 2001年 第1期6卷 21-52页
作者: Rueda, C. Alvarez, G. Quesada, L.O. Tamura, G. Valencia, F. Diaz, J.F. Assayag, G. Department of Computer Science Pontificia Universidad Javeriana cl 18 118-250 via Pance Cali Colombia Department of Computer Science Universidad del Valle Ciudad Universitaria Meléndez Cali Colombia IRCAM 1 pl Igor Stravinski 75004 Paris France
We propose PiCO, a calculus integrating concurrent objects and constraints, as a base for music composition tools. In contrast with calculi such as [5], [9] or TyCO [16], both constraints and objects are primitive not... 详细信息
来源: 评论
Parametric sequence alignment with constraints
收藏 引用
constraints 2001年 第2-3期6卷 157-172页
作者: Yap, R.H.C. School of Computing National University of Singapore Singapore 117543 Singapore
Approximate matching techniques based on string alignment are important tools for investigating similarities between strings, such as those representing DNA and protein sequences. We propose a constraint based approac... 详细信息
来源: 评论
Intellisheet: A spreadsheet system expanded by including constraint solvers
Intellisheet: A spreadsheet system expanded by including con...
收藏 引用
IEEE Symposia on Human-Centric Computing Languages and Environments
作者: Adachi, Y Toyo Univ Dept Informat & Comp Sci Kawagoe Saitama 3508585 Japan
This paper describes our research into the expansion of the spreadsheet paradigm by the incorporation of solvers for systems of linear and finite-domain constraints. An extended spreadsheet system, called Intellisheet... 详细信息
来源: 评论
Automated strategies for specializing constraint logic programs
收藏 引用
10th International Workshop on Logic Based Program Synthesis and Transformation
作者: Fioravanti, F Pettorossi, A Proietti, M CNR IASI I-00185 Rome Italy Univ Roma Tor Vergata DISP I-00133 Rome Italy
We consider the problem of specializing constraint logic programs w.r.t. constrained queries. We follow a transformational approach based on rules and strategies. The use of the rules ensures that the specialized prog... 详细信息
来源: 评论
Collaborative learning for constraint solving  1
收藏 引用
7th International Conference on Principles and Practice of constraint programming, CP 2001
作者: Epstein, Susan L. Freuder, Eugene C. Department of Computer Science Hunter College and The Graduate School of The City University of New York New YorkNY10021 United States Cork Constraint Computation Centre University College Cork Cork Ireland
Although constraint programming offers a wealth of strong, general-purpose methods, in practice a complex, real application demands a person who selects, combines, and refines various available techniques for constrai... 详细信息
来源: 评论
A demonstration of dedicated constraint-based planning within agent-based architectures for autonomous aircraft
A demonstration of dedicated constraint-based planning withi...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC 01)
作者: Allo, B Guettier, C Lécubin, N Axlog Ingn F-94110 Arcueil France
Autonomous agents are a challenging concept for future unmanned air operations in hostile environments. Previous aeronautic missions highlight the lack of on-board reasoning abilities to increase the decision making c... 详细信息
来源: 评论