咨询与建议

限定检索结果

文献类型

  • 1,018 篇 期刊文献
  • 814 篇 会议
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,595 篇 工学
    • 1,324 篇 计算机科学与技术...
    • 486 篇 软件工程
    • 177 篇 电气工程
    • 136 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 50 篇 土木工程
    • 39 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 10 篇 电子科学与技术(可...
    • 9 篇 动力工程及工程热...
  • 614 篇 管理学
    • 595 篇 管理科学与工程(可...
    • 118 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 481 篇 理学
    • 358 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,854 篇 constraint progr...
  • 174 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 29 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 28 篇 machine learning
  • 25 篇 mixed integer li...
  • 23 篇 linear programmi...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 mixed-integer pr...
  • 22 篇 planning
  • 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 篇 carnegie mellon ...
  • 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...
  • 6 篇 natl univ irelan...
  • 6 篇 hacettepe univ d...

作者

  • 30 篇 crawford broderi...
  • 28 篇 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...
  • 17 篇 lombardi michele
  • 17 篇 o'sullivan barry
  • 16 篇 miguel ian
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nightingale pete...
  • 12 篇 nijssen siegfrie...

语言

  • 1,741 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1854 条 记 录,以下是291-300 订阅
排序:
A constraint programming approach to capacity planning in container vessels
收藏 引用
MARITIME ECONOMICS & LOGISTICS 2022年 第2期24卷 415-438页
作者: Lee, Byung Kwon Low, Joyce M. W. Natl Univ Singapore Dept Ind Syst Engn & Management 1 Engn Dr 2 Singapore 117576 Singapore Singapore Management Univ Lee Kong Chian Sch Business 50 Stamford Rd Singapore 178899 Singapore
A container vessel carries containers of various characteristics, in terms of size, weight, and contents. The cargo load of a container vessel, being subjected to a set of operational conditions and restrictions regar... 详细信息
来源: 评论
A constraint programming approach for the design problem of cellular wireless networks
A constraint programming approach for the design problem of ...
收藏 引用
15th IEEE Canadian Conference on Electrical and Computer Engineering
作者: Pomerleau, Y Chamberland, S Pesant, G Ecole Polytech Dept Comp Engn Montreal PQ H3C 3A7 Canada
In this paper, we propose a constraint programming model for the design problem of cellular wireless communication networks. It consists of selecting the location of the base station controllers (BSCs) and mobile serv... 详细信息
来源: 评论
Cis-regulatory Module Detection using constraint programming
<i>Cis</i>-regulatory Module Detection using Constraint Prog...
收藏 引用
IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
作者: Guns, Tias Sun, Hong Marchal, Kathleen Nijssen, Siegfried Katholieke Univ Leuven Dept Comp Sci Leuven Belgium Katholieke Univ Leuven Dept Microbial & Mol Syst Leuven Belgium
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same transcription factors in multiple sequ... 详细信息
来源: 评论
Formalizing Security and Safety Requirements by Mapping Attack-Fault Trees on Obstacle Models with constraint programming Semantics
Formalizing Security and Safety Requirements by Mapping Atta...
收藏 引用
IEEE Workshop on Formal Requirements (FORMREQ)
作者: Ponsard, Christophe Deprez, Jean-Christophe Darimont, Robert CETIC Res Ctr Charleroi Belgium Respect IT Louvain La Neuve Belgium
Requirements Engineering (RE) covers not only the capture and structuring of various properties the system should achieve but also the identification of high-level choices on how to achieve such goals or to avoid rela... 详细信息
来源: 评论
Hybrid algorithms in constraint programming
Hybrid algorithms in constraint programming
收藏 引用
11th Annual ERCIM International Workshop on constraint Solving and Contraint Logic programming
作者: Wallace, Mark Monash Univ Fac Informat Technol Clayton Vic 3800 Australia
This paper surveys hybrid algorithms from a constraint programming perspective. It introduces techniques used within a constructive search framework, such as propagation and linear relaxation, as well as techniques us... 详细信息
来源: 评论
Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and constraint programming  16th
Efficient Solution Methods for the Cumulative-Interference C...
收藏 引用
16th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Nicholas, Paul J. Hoffman, Karla L. Johns Hopkins Univ Appl Phys Lab Laurel MD 20723 USA George Mason Univ Fairfax VA 22030 USA
Interest in the channel assignment problem (CAP) has been growing rapidly with both the spread of wireless data networks and the increasing scarcity of electromagnetic (EM) spectrum. The ability to efficiently reuse a... 详细信息
来源: 评论
Using constraint programming to Solve a Cryptanalytic Problem  26
Using Constraint Programming to Solve a Cryptanalytic Proble...
收藏 引用
26th International Joint Conference on Artificial Intelligence (IJCAI)
作者: Gerault, David Minier, Marine Solnon, Christine Univ Clermont Auvergne LIMOS Clermont Ferrand France Univ Lorraine LORIA UMR 7503 F-54506 Vandoeuvre Les Nancy France Univ Lyon INSA Lyon LIRIS CNRS UMR5205 F-69621 Lyon France
We describe constraint programming (CP) models to solve a cryptanalytic problem: the chosen key differential attack against the standard block cipher AES. We show that CP solvers are able to solve these problems quick... 详细信息
来源: 评论
INTERACTIVE CONFIGURATION OF RESTRICTED SPACES USING VIRTUAL REALITY AND constraint programming TECHNIQUES
INTERACTIVE CONFIGURATION OF RESTRICTED SPACES USING VIRTUAL...
收藏 引用
5th International Conference on Computer Graphics Theory and Applications (GRAPP 2010)
作者: Kefi, Marouene Richard, Paul Barichard, Vincent Univ Angers LISA 62 Ave ND Lac Angers France Univ Angers LERIA Angers France
In this paper, we describe innovative approaches for the design of intelligent virtual environments (VE) for interactive problem solving. Thus, we propose to extend VEs to support constraint-based interaction through ... 详细信息
来源: 评论
A category-based equational logic semantics to constraint programming  11th
A category-based equational logic semantics to constraint pr...
收藏 引用
11th Workshop on Specification of Abstract Date Types / 8th COMPASS Workshop
作者: Diaconescu, R Institute of Mathematics of the Romanian Academy Romania
This paper exploits the point of view of constraint programming as computation in a logical system, namely constraint logic We define the basic ingredients of constraint logic, such as constraint models and generalise... 详细信息
来源: 评论
Generation of Synthetic Business Process Traces using constraint programming
Generation of Synthetic Business Process Traces using Constr...
收藏 引用
Federated Conference on Computer Science and Information Systems (FedCSIS)
作者: Wisniewski, Piotr Kluza, Krzysztof Ligeza, Antoni Suchenia, Anna AGH Univ Sci & Technol Al A Mickiewicza 30 PL-30059 Krakow Poland Cracow Univ Technol Ul Warszawska 24 PL-31155 Krakow Poland
Juxtapositianing manuallycreated business process models with diagrams generated using process discovery algorithms exposes high complexity of the latter. As a consequence, their formal verification requires significa... 详细信息
来源: 评论