首页>外文期刊>计算机、自动化>计算技术、计算机技术>Constraints

Constraints

SCIEI

中文名称：约束条件

ISSN：1383-7133
出版周期：Quarterly

发文量：337

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Current Approaches for Solving Over-Constrained Problems

机译：当前解决过度约束问题的方法
- 作者：PEDRO MESEGUER;NOUREDDINE BOUHMALA;TAOUFIK BOUZOUBAA;MORTEN IRGENS;MARTI SANCHEZ
- 期刊名称：《Constraints》 | 2003年第1期
- over-constrained CSPs;
- soft constraints;
- multi-objective optimization;
2.A Foundation of Solution Methods for Constraint Hierarchies

机译：约束层次结构解决方法的基础
- 作者：HIROSHI HOSOBE;SATOSHI MATSUOKA
- 期刊名称：《Constraints》 | 2003年第1期
- constraint hierarchies;
- soft constraints;
- constraint satisfaction;
- local propagation;
3.General Properties and Termination Conditions for Soft Constraint Propagation

机译：软约束传播的一般属性和终止条件
- 作者：S. BISTARELLI;R. GENNARI;F. ROSSI
- 期刊名称：《Constraints》 | 2003年第1期
- soft constraints;
- soft constraint propagation;
- termination;
- semiring;
- generic algorithm schema;
4.Weighted Constraint Aggregation in Fuzzy Optimization

机译：模糊优化中的加权约束聚合
- 作者：U. KAYMAK;J. M. SOUSA
- 期刊名称：《Constraints》 | 2003年第1期
- fuzzy constraints;
- weighted aggregation;
- weighted t-norms;
- fuzzy optimization;
- soft decision making;
5.Improving Linear Constraint Propagation by Changing Constraint Representation

机译：通过更改约束表示来改善线性约束传播
- 作者：WARWICK HARVEY;PETER J. STUCKEY
- 期刊名称：《Constraints》 | 2003年第2期
- finite domain constraint solving;
- propagation methods;
- linear integer constraints;
6.Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents

机译：使用代理为一类具有总和约束的分布式问题找到可行的解决方案
- 作者：ARIE DE BRUIN;GERARD KINDERVATER;TJARK VREDEVELD;ALBERT WAGELMANS
- 期刊名称：《Constraints》 | 2003年第2期
- multi-agent system;
- distributed problems;
7.Solving Mixed and Conditional Constraint Satisfaction Problems

机译：解决混合和条件约束满足问题
- 作者：ESTHER GELLE;BOI FALTINGS
- 期刊名称：《Constraints》 | 2003年第2期
- (conditional) constraint satisfaction;
- local consistency;
- numeric constraints;
- mixed constraints;
- refine operator;
- propagation rule;
8.Removing Node Overlapping in Graph Layout Using Constrained Optimization

机译：使用约束优化消除图布局中的节点重叠
- 作者：KIM MARRIOTT;PETER STUCKEY;VINCENT TAM;WEIQING HE
- 期刊名称：《Constraints》 | 2003年第2期
- graph layout;
- constrained optimization;
- disjunctive constraints;
9.New Tractable Classes From Old

机译：旧的新可实践课程
- 作者：DAVID COHEN;PETER JEAVONS;RICHARD GAULT
- 期刊名称：《Constraints》 | 2003年第3期
- constraint satisfaction problems;
- complexity;
- tractable classes;
- disjunctive constraints;
10.Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees

机译：有限树或无穷树代数中完全一阶约束的表达性
- 作者：ALAIN COLMERAUER;THI-BICH-HANH DAO
- 期刊名称：《Constraints》 | 2003年第3期
- first order logic;
- trees;
- constraints;
- expressiveness;
- complexity;
11.Random 3-SAT: The Plot Thickens

机译：随机3-SAT：剧情变厚
- 作者：CRISTIAN COARFA;DEMETRIOS D. DEMOPOULOS;ALFONSO SAN MIGUEL AGUIRRE;DEVIKA SUBRAMANIAN;MOSHE Y. VARDI
- 期刊名称：《Constraints》 | 2003年第3期
12.Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems

机译：在约束优化和约束满足问题中使用变量消除来促进搜索
- 作者：JAVIER LARROSA;RINA DECHTER
- 期刊名称：《Constraints》 | 2003年第3期
- constraint satisfaction;
- constraint optimization;
- soft constraints;
- bucket elimination;
- branch and bound;
13.A Formal Approach to Agent Design: An Overview of Constraint-Based Agents

机译：正式的代理设计方法：基于约束的代理概述
- 作者：ALAN K. MACKWORTH;YING ZHANG
- 期刊名称：《Constraints》 | 2003年第3期
- formal specification;
- agent design;
- artificial intelligence;
- robot architectures;
- constraint-based requirements;
- system verification;
- automata;
14.Constraint-Based Attribute and Interval Planning

机译：基于约束的属性和区间规划
- 作者：JEREMY FRANK;ARI JONSSON
- 期刊名称：《Constraints》 | 2003年第4期
- planning;
- dynamic constraint reasoning;
- consistency enforcement;
- temporal planning;
- resources;
15.Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs

机译：规划为命题CSP：从Walksat到行动图的本地搜索技术
- 作者：ALFONSO GEREVINI;IVAN SERINA
- 期刊名称：《Constraints》 | 2003年第4期
- planning;
- planning as CSP;
- propositional CSP;
- planning graphs;
- local search;
- heuristic search;
16.Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming

机译：规划特刊简介：规划与约束规划交叉点的研究问题
- 作者：ALEXANDER NAREYEK;SUBBARAO KAMBHAMPATI
- 期刊名称：《Constraints》 | 2003年第4期
17.CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning

机译：CTP：一种新的基于约束的形式主义，用于有条件的时间规划
- 作者：IOANNIS TSAMARDINOS;THIERRY VIDAL;MARTHA E. POLLACK
- 期刊名称：《Constraints》 | 2003年第4期
- temporal reasoning;
- constraint-based planning;
- conditional planning;
18.QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications

机译：QOCA：交互式图形应用程序的约束解决工具包
- 作者：KIM MARRIOTT;SITT SEN CHOK
- 期刊名称：《Constraints》 | 2002年第4期
- constraint-based graphics;
- HCI;
- linear arithmetic constraint;
- object oriented;
19.Cost-Based Arc Consistency for Global Cardinality Constraints

机译：全局基数约束的基于成本的弧一致性
- 作者：JEAN-CHARLES REGIN
- 期刊名称：《Constraints》 | 2002年第4期
20.Consistency Techniques in Ordinary Differential Equations

机译：常微分方程的一致性技术
- 作者：YVES DEVILLE;MICHA JANSSEN;PASCAL VAN HENTENRYCK
- 期刊名称：《Constraints》 | 2002年第4期
- consistency;
- continuous problems;
- differential equations;
21.Excluding Symmetries in Constraint-Based Search

机译：在基于约束的搜索中排除对称性
- 作者：ROLF BACKOFEN;SEBASTIAN WILL
- 期刊名称：《Constraints》 | 2002年第4期
- symmetry exclusion;
- geometric symmetries;
- permutation symmetries;
- constraint-based search;
- symmetry excluding search (SES);
22.Optimization-Oriented Global Constraints

机译：面向优化的全局约束
- 作者：FILIPPO FOCACCI;ANDREA LODI;MICHELA MILANO
- 期刊名称：《Constraints》 | 2002年第4期
- constraint programming;
- optimization problems;
- relaxations;
23.Optimal Distributed Arc-Consistency

机译：最佳的分布式电弧一致性
- 作者：YOUSSEF HAMADI
- 期刊名称：《Constraints》 | 2002年第4期
24.SALSA: A Language for Search Algorithms

机译：SALSA：搜索算法的语言
- 作者：FRANCOIS LABURTHE;YVES CASEAU
- 期刊名称：《Constraints》 | 2002年第4期
- search;
- hybrid algorithms;
- constraint systems;
25.PSICO: Solving Protein Structures with Constraint Programming and Optimization

机译：PSICO：通过约束编程和优化来解决蛋白质结构
- 作者：LUDWIG KRIPPAHL;PEDRO BARAHONA
- 期刊名称：《Constraints》 | 2002年第4期
- constraint programming;
- optimisation;
- protein structure;
- bioinformatics;
26.Partition-Based Lower Bound for Max-CSP

机译：Max-CSP的基于分区的下界
- 作者：JAVIER LARROSA;PEDRO MESEGUER
- 期刊名称：《Constraints》 | 2002年第4期
- constraint optimization;
- max-CSP;
- branch and bound;
27.On the reification of global constraints

机译：关于整顿全球限制
- 作者：Nicolas Beldiceanu;Mats Carlsson;Pierre Flener;Justin Pearson
- 期刊名称：《Constraints》 | 2013年第1期
- Global constraint;
- Reification;
- Reformulation;
- Functional dependency;
28.Structural tractability of enumerating CSP solutions

机译：枚举CSP解决方案的结构易处理性
- 作者：Gianluigi Greco;Francesco Scarcello
- 期刊名称：《Constraints》 | 2013年第1期
- Structural decomposition methods;
- Enumeration problems;
- Tree projections;
- Tree decompositions;
29.View-based propagator derivation

机译：基于视图的传播器派生
- 作者：Christian Schulte;Guido Tack
- 期刊名称：《Constraints》 | 2013年第1期
- Constraint propagation;
- Constraint solver implementation;
- Views;
- Parametric propagators;
30.On the hardness of solving edge matching puzzles as SAT or CSP problems

机译：关于解决作为SAT或CSP问题的边缘匹配难题的难度
- 作者：Carlos Ansótegui;Ramón Béjar;Cèsar Fernández;Carles Mateu
- 期刊名称：《Constraints》 | 2013年第1期
- Constraints;
- SAT;
- CSP;
- Edge matching puzzles;
- Puzzles;
- Phase transition;
- Hardness;
31.On matrices, automata, and double counting in constraint programming

机译：关于约束编程中的矩阵，自动机和重复计数
- 作者：Nicolas Beldiceanu;Mats Carlsson;Pierre Flener;Justin Pearson
- 期刊名称：《Constraints》 | 2013年第1期
- Double counting;
- Necessary (implied) constraint;
- Matrix model;
- Automaton constraint;
- Nurse scheduling;
32.Introduction to the special issue on constraint modelling and reformulation

机译：关于约束建模和重新编制的特殊问题的介绍
- 作者：Andrea Rendl;J. Christopher Beck
- 期刊名称：《Constraints》 | 2013年第2期
33.Using dual presolving reductions to reformulate cumulative constraints

机译：使用双重求解简化来重新表示累积约束
- 作者：Stefan Heinz;Jens Schulz;J. Christopher Beck
- 期刊名称：《Constraints》 | 2013年第2期
- Dual reductions;
- Cumulative constraints;
- Presolving;
- Variable locks;
34.Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

机译：通过重新公式化为可满足性模理论来解决具有元约束的加权CSP
- 作者：Carlos Ansótegui;Miquel Bofill;Miquel Palahí;Josep Suy;Mateu Villaret
- 期刊名称：《Constraints》 | 2013年第2期
- Weighted CSP;
- Modelling languages;
- Reformulation;
- Meta-constraints;
- SMT;
- Weighted MaxSAT;
35.Formulating the template ILP consistency problem as a constraint satisfaction problem

机译：将模板ILP一致性问题表述为约束满足问题
- 作者：Roman Barták;Radomír Černoch;Ondřej Kuželka;Filip Železný
- 期刊名称：《Constraints》 | 2013年第2期
- Constraint modeling;
- Inductive logic programming;
- Meta-reasoning;
36.Reformulation based MaxSAT robustness

机译：基于重构的MaxSAT鲁棒性
- 作者：Miquel Bofill;Dídac Busquets;Víctor Muñoz;Mateu Villaret
- 期刊名称：《Constraints》 | 2013年第2期
- Robustness;
- Reformulation;
- MaxSAT;
- Pseudo-Boolean;
- Combinatorial optimization;
- Resource allocation;
- Auctions;
37.Search combinators

机译：搜索组合器
- 作者：Tom Schrijvers;Guido Tack;Pieter Wuille;Horst Samulowitz;Peter J. Stuckey
- 期刊名称：《Constraints》 | 2013年第2期
- Search heuristics;
- Modeling language;
- Modularity;
- Implementation;
38.Multiset variable representations and constraint propagation

机译：多集变量表示和约束传播
- 作者：Y. C. Law;J. H. M. Lee;T. Walsh;M. H. C. Woo
- 期刊名称：《Constraints》 | 2013年第3期
- Constraint satisfaction;
- Multiset variables;
39.Nogood-based asynchronous forward checking algorithms

机译：基于Nogood的异步前向检查算法
- 作者：Mohamed Wahbi;Redouane Ezzahir;Christian Bessiere;El Houssine Bouyakhf
- 期刊名称：《Constraints》 | 2013年第3期
- Distributed constraint reasoning;
- Search algorithms;
40.Probabilistic constraints for nonlinear inverse problems

机译：非线性反问题的概率约束
- 作者：Elsa Carvalho;Jorge Cruz;Pedro Barahona
- 期刊名称：《Constraints》 | 2013年第3期
41.Domain consistency with forbidden values

机译：域与禁止值的一致性
- 作者：Yves Deville;Pascal Van Hentenryck;Jean-Baptiste Mairy
- 期刊名称：《Constraints》 | 2013年第3期
- Consistency;
- Propagation;
- Negative constraints;
42.Balancing and scheduling of flexible mixed model assembly lines

机译：柔性混合模型装配线的平衡与调度
- 作者：Cemalettin Öztürk;Semra Tunalı;Brahim Hnich;M. Arslan Örnek
- 期刊名称：《Constraints》 | 2013年第3期
- Mixed model assembly lines;
- Balancing;
- Sequencing;
- Scheduling;
- Mixed integer programming;
- Constraint programming;
- Decomposition;
43.Redundant disequalities in the Latin Square problem

机译：拉丁方问题中的冗余不平等
- 作者：Bart Demoen;Maria Garcia de la Banda
- 期刊名称：《Constraints》 | 2013年第4期
- Constraint programming;
- Redundant constraints;
44.View-based propagation of decomposable constraints

机译：基于视图的可分解约束的传播
- 作者：Marco Correia;Pedro Barahona
- 期刊名称：《Constraints》 | 2013年第4期
- Constraint programming;
- Propagation;
- Views;
45.Iterative and core-guided MaxSAT solving: A survey and assessment

机译：迭代和核心指导下的MaxSAT解决方案：调查和评估
- 作者：Antonio Morgado;Federico Heras;Mark Liffiton;Jordi Planes;Joao Marques-Silva
- 期刊名称：《Constraints》 | 2013年第4期
- MaxSAT;
- MaxSMT;
- Boolean optimization;
- Optimization problems;
46.Models and emerging trends of concurrent constraint programming

机译：并发约束编程的模型和新兴趋势
- 作者：Carlos Olarte;Camilo Rueda;Frank D. Valencia
- 期刊名称：《Constraints》 | 2013年第4期
- Concurrent constraint programming;
- Concurrency;
- Specification;
- Verification;
47.Constraints for symmetry breaking in graph representation

机译：图表示中对称性打破的约束
- 作者：Codish Michael;Miller Alice;Prosser Patrick;Stuckey Peter J.
- 期刊名称：《Constraints》 | 2019年第1期
- Constraints and satisfiability;
- Symmetry and search;
- Graph theory;
48.Neighborhood singleton consistencies

机译：邻居单例一致性
- 作者：Stergiou Kostas
- 期刊名称：《Constraints》 | 2019年第1期
- Constraint propagation;
- Local consistency;
- Singleton consistency;
49.Improved WPM encoding for coalition structure generation under MC-nets

机译：改进的WPM编码，用于在MC-net下生成联盟结构
- 作者：Liao Xiaojuan;Koshimura Miyuki;Nomoto Kazuki;Ueda Suguru;Sakurai Yuko;Yokoo Makoto
- 期刊名称：《Constraints》 | 2019年第1期
- Weighted partial MaxSAT;
- Coalition structure generation;
- Coalition games;
50.Compiling CP subproblems to MDDs and d-DNNFs

机译：将CP子问题编译为MDD和d-DNNF
- 作者：de Una Diego;Gange Graeme;Schachte Peter;Stuckey Peter J.
- 期刊名称：《Constraints》 | 2019年第1期
- Multivalued decision diagrams;
- MDD;
- d-DNNF;
- Constraint programming;
- Presolving;
- Compilation;
51.Model counting with error-correcting codes

机译：带有纠错码的模型计数
- 作者：Achlioptas Dimitris;Theodoropoulos Panos
- 期刊名称：《Constraints》 | 2019年第2期
- Model counting;
- Satisfiability;
- Randomized algorithms;
- Systems of parity equations;
- Coding theory;
- Low density parity check codes;
52.N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

机译：基于N级基于模的MaxSAT伪布尔约束的CNF编码
- 作者：Zha Aolong;Koshimura Miyuki;Fujita Hiroshi
- 期刊名称：《Constraints》 | 2019年第2期
- MaxSAT;
- Pseudo-Boolean constraints;
- Encoding;
- Modular arithmetic;
53.The item dependent stockingcost constraint

机译：项目相关的库存成本约束
- 作者：Houndji Vinasetan Ratheil;Schaus Pierre;Wolsey Laurence
- 期刊名称：《Constraints》 | 2019年第2期
- StockingCost constraint;
- Production planning;
- Lot-sizing;
- Scheduling;
- Constraint programming;
- Global constraint;
- Optimization contraint;
- Cost-based filtering;
54.Not all FPRASs are equal: demystifying FPRASs for DNF-counting

机译：并非所有FPRAS都是平等的：为DNF计数对FPRAS进行解密
- 作者：Meel Kuldeep S.;Shrotri Aditya A.;Vardi Moshe Y.
- 期刊名称：《Constraints》 | 2019年第4期
- Model counting;
- Hashing;
- Disjunctive normal form;
- Boolean formulas;
- Fully polynomial randomized approximation scheme;
- ApproxMC;
55.Encoding cardinality constraints using multiway merge selection networks

机译：使用多路合并选择网络编码基数约束
- 作者：Karpinski Michal;Piotrow Marek
- 期刊名称：《Constraints》 | 2019年第4期
- Cardinality constraint;
- Selection network;
- SAT-solver;
- SAT encoding;
- SAT translation;
56.Constraint Games for stable and optimal allocation of demands in SDN

机译：用于在SDN中稳定，优化分配需求的约束游戏
- 作者：Palmieri Anthony;Lallouet Arnaud;Pons Luc
- 期刊名称：《Constraints》 | 2019年第4期
- Constraint programming;
- Game theory;
- Optimization;
- Integer linear programming;
- Column generation;
- SDN;
- Multicommodity flow;
57.Incentive-based search for equilibria in boolean games

机译：基于激励的布尔游戏均衡搜索
- 作者：Levit Vadim;Komarovsky Zohar;Grinshpoun Tal;Bazzan Ana L. C.;Meisels Amnon
- 期刊名称：《Constraints》 | 2019年第4期
58.N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

机译：基于N级模型的MAXSAT伪布尔约束的CNF编码
- 作者：Zha Aolong;Koshimura Miyuki;Fujita Hiroshi
- 期刊名称：《Constraints》 | 2019年第2期
- MaxSAT;
- Pseudo-Boolean constraints;
- Encoding;
- Modular arithmetic;
59.Model counting with error-correcting codes

机译：使用纠错码计数
- 作者：Achlioptas Dimitris;Theodoropoulos Panos
- 期刊名称：《Constraints》 | 2019年第2期
- Model counting;
- Satisfiability;
- Randomized algorithms;
- Systems of parity equations;
- Coding theory;
- Low density parity check codes;
60.The item dependent stockingcost constraint

机译：物品依赖于浮雕约束
- 作者：Houndji Vinasetan Ratheil;Schaus Pierre;Wolsey Laurence
- 期刊名称：《Constraints》 | 2019年第2期
- StockingCost constraint;
- Production planning;
- Lot-sizing;
- Scheduling;
- Constraint programming;
- Global constraint;
- Optimization contraint;
- Cost-based filtering;
61.Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs

机译：用于产生具有施加和禁止模式的图形的约束：分子图的应用
- 作者：Mohamed Amine Omrani;Wady Naanaa
- 期刊名称：《Constraints》 | 2020年第2期
- Graph theory;
- Forbidden subgraph patterns;
- Constraint satisfaction problem;
- Constraint programming;
- Molecular generation;
62.Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem

机译：集成整数编程和决策图搜索树，其应用于最大独立的设置问题
- 作者：Jaime E. Gonzalez;Andre A. Cire;Andrea Lodi;Louis-Martin Rousseau
- 期刊名称：《Constraints》 | 2020年第2期
- Decision diagrams;
- Integrated methods;
- Integer linear programming;
- Hybrid optimization;
- Supervised learning;
63.XCSP~3 and its ecosystem

机译：XCSP〜3及其生态系统
- 作者：Gilles Audemard;Frederic Boussemart;Christophe Lecoutre;Cedric Piette;Olivier Roussel
- 期刊名称：《Constraints》 | 2020年第2期
- Format;
- Modeling;
64.Invariants for time-series constraints

机译：时间序列约束的不变性
- 作者：Arafailova Ekaterina;Beldiceanu Nicolas;Simonis Helmut
- 期刊名称：《Constraints》 | 2020年第4期
- Register automaton;
- Time-series constraints;
- Linear invariant;
- Non-linear invariant;
- Parameterised invariant;
- Finite automaton;
65.Non-local configuration of component interfaces by constraint satisfaction

机译：约束满足的组件接口的非本地配置
- 作者：Tveretina Olga;Zaichenkov Pavel;Shafarenko Alex
- 期刊名称：《Constraints》 | 2020年第4期
- Interface configuration;
- Constraint language;
- Constraint satisfaction;
66.The flexible and real-time commute trip sharing problems

机译：灵活和实时通勤行程分担问题
- 作者：Hasan Mohd. Hafiz;Van Hentenryck Pascal
- 期刊名称：《Constraints》 | 2020年第4期
- Robust planning;
- Ride sharing;
- Scenario sampling;
- Vehicle routing problem;
67.Efficient multiple constraint acquisition

机译：高效多元约束采集
- 作者：Tsouros Dimosthenis C.;Stergiou Kostas
- 期刊名称：《Constraints》 | 2020年第4期
- Constraint acquisition;
- Learning;
- Modeling;
68.Introduction to the CPAIOR 2020 fast track issue

机译：CPAIOR 2020简介快速轨道问题
- 作者：Hebrard Emmanuel;Musliu Nysret
- 期刊名称：《Constraints》 | 2020年第4期
69.Learning optimal decision trees using constraint programming

机译：使用约束编程学习最佳决策树
- 作者：Verhaeghe Helene;Nijssen Siegfried;Pesant Gilles;Quimper Claude-Guy;Schaus Pierre
- 期刊名称：《Constraints》 | 2020年第4期
- Decision Tree;
- CoverSize;
- AND;
- OR search tree;
- Caching;
70.On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers

机译：关于认证动态对称处理的SAT求解器的unsat结果
- 作者：Tchinda Rodrigue Konan;Djamegni Clementin Tayou
- 期刊名称：《Constraints》 | 2020年第4期
- SAT solving;
- Proof format;
- Dynamic symmetry handling;
- UNSAT certificate;
71.Power of pre-processing: production scheduling with variable energy pricing and power-saving states

机译：预处理的力量：具有可变能源定价和省电状态的生产调度
- 作者：Benedikt Ondrej;Modos Istvan;Hanzalek Zdenek
- 期刊名称：《Constraints》 | 2020年第4期
- Single machine production scheduling;
- Machine states;
- Variable energy costs;
- Total energy cost minimization;
72.A new constraint programming model and solving for the cyclic hoist scheduling problem

机译：一种新的约束规划模型及解决循环提升调度问题
- 作者：Wallace Mark;Yorke-Smith Neil
- 期刊名称：《Constraints》 | 2020年第4期
- Constraint programming;
- Hoist scheduling;
- Modelling;
- MiniZinc;
73.Exact and flexible solution approach to a critical chain project management problem

机译：精确灵活的解决方案方法对关键链项目管理问题
- 作者：Goto Hiroyuki;Murray Alan T.
- 期刊名称：《Constraints》 | 2020年第4期
- Project scheduling;
- Resource constrained;
- Critical chain;
- Exact optimal solution;
- Mixed-integer linear-programming;
74.A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences

机译：A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
- 作者：ágnes Cseh;Guillaume Escamocher;Begüm Gen?Luis Quesada
- 期刊名称：《Constraints》 | 2022年第3期
- Three-dimensional stable matching with cyclic preferences;
- 3DSM-cyc;
- Constraint programming;
- Fairness;
75.When bounds consistency implies domain consistency for regular counting constraints

机译：When bounds consistency implies domain consistency for regular counting constraints
- 作者：Barnaby Martin;Justin Pearson
- 期刊名称：《Constraints》 | 2022年第3期
- Automata;
- Consistency;
76.Short- and medium-term optimization of underground mine planning using constraint programming

机译：Short- and medium-term optimization of underground mine planning using constraint programming
- 作者：Louis-Pierre Campeau;Michel Gamache
- 期刊名称：《Constraints》 | 2022年第4期
- Constraint programming;
- Underground mining;
- Scheduling;
- Short- and Medium-Term planning;
77.Variable ordering for decision diagrams: A portfolio approach

机译：Variable ordering for decision diagrams: A portfolio approach
- 作者：Karahalios Anthony;van Hoeve Willem-Jan
- 期刊名称：《Constraints》 | 2022年第2期
- Decision diagrams;
- Graph coloring;
- Variable ordering;
78.How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids

机译：How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids
- 作者：Yannick Carissan;Denis Hagebaum-Reignier;Nicolas PrcovicCyril TerriouxAdrien Varet
- 期刊名称：《Constraints》 | 2022年第3期
- Constraint programming;
- Graph variables and constraints;
- Modeling;
- Theoretical chemistry;
79.Concise integer linear programming formulation for clique partitioning problems

机译：Concise integer linear programming formulation for clique partitioning problems
- 作者：Koshimura Miyuki;Watanabe Emi;Sakurai YukoYokoo Makoto
- 期刊名称：《Constraints》 | 2022年第2期
- Clique partitioning problem;
- Integer linear programming;
- Transitivity constraints;
80.Solution sampling with random table constraints

机译：Solution sampling with random table constraints
- 作者：Mathieu Vavrille;Charlotte Truchet;Charles Prud’homme
- 期刊名称：《Constraints》 | 2022年第4期
- Solutions;
- Sampling;
- Table constraint;
- Uniform distribution;
81.Learning the travelling salesperson problem requires rethinking generalization

机译：Learning the travelling salesperson problem requires rethinking generalization
- 作者：Joshi Chaitanya K.;Cappart Quentin;Rousseau Louis-MartinLaurent Thomas
- 期刊名称：《Constraints》 | 2022年第2期
- Combinatorial optimization;
- Travelling salesperson problem;
- Graph neural networks;
- Deep learning;
82.An interdisciplinary experimental evaluation on the disjunctive temporal problem

机译：An interdisciplinary experimental evaluation on the disjunctive temporal problem
- 作者：Matteo Zavatteri;Alice Raffaele;Dario OstuniRomeo Rizzi
- 期刊名称：《Constraints》 | 2023年第1期
83.Towards better heuristics for solving bounded model checking problems

机译：Towards better heuristics for solving bounded model checking problems
- 作者：Anissa Kheireddine;Etienne Renault;Souheib Baarir
- 期刊名称：《Constraints》 | 2023年第1期
- Bounded model checking;
- SAT;
- Structural information;
- Portfolio;
- Parallelism;
- Linear programming;
84.Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

机译：Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
- 作者：Devriendt Jo;Gleixner Ambros;Nordstrom Jakob
- 期刊名称：《Constraints》 | 2021年第4期
- Pseudo-Boolean;
- Conflict-driven search;
- Cutting plane proofs;
- Integer Programming;
- Linear Programming;
- Cut generation;
- RoundingSat;
85.Fast and parallel decomposition of constraint satisfaction problems

机译：Fast and parallel decomposition of constraint satisfaction problems
- 作者：Georg Gottlob;Cem Okulmus;Reinhard Pichler
- 期刊名称：《Constraints》 | 2022年第3期
- Constraint satisfaction;
- Hypergraphs;
- Structural decomposition methods;
- Parallel computing;
86.Generative magic and designing magic performances with constraint programming

机译：Generative magic and designing magic performances with constraint programming
- 作者：Guilherme de Azevedo Silveira
- 期刊名称：《Constraints》 | 2022年第3期
- Constraint;
- Generative design;
- Computer aided design;
- Constraint programming;
- Generative magic;
- Magical performance;
87.The algebraic structure of the densification and the sparsification tasks for CSPs

机译：The algebraic structure of the densification and the sparsification tasks for CSPs
- 作者：Rustem Takhanov
- 期刊名称：《Constraints》 | 2023年第1期
88.Global domain views for expressive and cross-domain constraint programming

机译：Global domain views for expressive and cross-domain constraint programming
- 作者：Justeau-Allaire Dimitri;Prudhomme Charles
- 期刊名称：《Constraints》 | 2022年第2期
- Constraint programming;
- Domain views;
- Set variables;
- Graph variables;
89.Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints

机译：Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- 作者：Koehler Jana;Buergler Josef;Fontana UrsFux EtienneHerzog FlorianPouly MarcSaller SophiaSalyaeva AnastasiaScheiblechner PeterWaelti Kai
- 期刊名称：《Constraints》 | 2021年第4期
90.Correct approximation of IEEE 754 floating-point arithmetic for program verification

机译：Correct approximation of IEEE 754 floating-point arithmetic for program verification
- 作者：Bagnara Roberto;Bagnara Abramo;Biselli FabioChiari MicheleGori Roberta
- 期刊名称：《Constraints》 | 2022年第2期
91.Boosting isomorphic model filtering with invariants

机译：Boosting isomorphic model filtering with invariants
- 作者：Jo?o Araújo;Choiwah Chow;Mikolá? Janota
- 期刊名称：《Constraints》 | 2022年第3期
- Computational algebra;
- Finite model enumeration;
- Isomorphism;
- Invariant;
- Random generation of invariants;
- Mace4;
- Hashing;
92.An algorithm-independent measure of progress for linear constraint propagation

机译：An algorithm-independent measure of progress for linear constraint propagation
- 作者：Boro Sofranac;Ambros Gleixner;Sebastian Pokutta
- 期刊名称：《Constraints》 | 2022年第4期
- Bounds propagation;
- Mixed integer programming;
93.The potential of quantum annealing for rapid solution structure identification

机译：The potential of quantum annealing for rapid solution structure identification
- 作者：Pang Yuchen;Coffrin Carleton;Lokhov Andrey Y.Vuffray Marc
- 期刊名称：《Constraints》 | 2021年第4期
94.Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs

机译：Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
- 作者：Itzhakov Avraham;Codish Michael
- 期刊名称：《Constraints》 | 2022年第2期
- Symmetry breaking;
- Constraint programming;
- Uniquely Hamiltonian graphs;
- Isomorph-free graph generation;
95.Propagation complete encodings of smooth DNNF theories

机译：Propagation complete encodings of smooth DNNF theories
- 作者：Petr Ku?era;Petr Savicky
- 期刊名称：《Constraints》 | 2022年第3期
96.Correction to: The potential of quantum annealing for rapid solution structure identification

机译：Correction to: The potential of quantum annealing for rapid solution structure identification
- 作者：Pang Yuchen;Coffrin Carleton;Lokhov Andrey Y.Vuffray Marc
- 期刊名称：《Constraints》 | 2021年第4期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号