Constraints
短名 | Constraints. |
Journal Impact | 0.46 |
国际分区 | COMPUTER SCIENCE, THEORY & METHODS(Q4) |
期刊索引 | SCI Q3中科院 4 区 |
ISSN | 1383-7133, 1572-9354 |
h-index | 48 |
国内分区 | 计算机科学(4区)计算机科学计算机人工智能(4区)计算机科学计算机理论方法(4区) |
涉及主题 | 计算机科学数学工程类几何学数学优化机械工程人工智能约束(计算机辅助设计)统计程序设计语言哲学算法认识论理论计算机科学概率逻辑离散数学操作系统随机规划组合数学约束规划生物约束满足约束满足问题数学分析经济物理 |
出版信息 | 出版商: Springer Netherlands,出版周期: Quarterly,期刊类型: journal |
基本数据 | 创刊年份: 1996,原创研究文献占比: 100.00%,自引率:40.00%, Gold OA占比: 43.24% |
平均审稿周期 | 网友分享经验:>12周,或约稿 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Plotting: a case study in lifted planning with constraints
2024-9-13
Counting QBF solutions at level two
2024-8-8
Applying constraint programming to minimal lottery designs
2024-7-9
Optimal multivariate decision trees
2023-12-1
A feature commonality-based search strategy to find high $$t$$-wise covering solutions in feature models
2023-11-30
Scheduling through logic-based tools
2023-9-1
Spacetime programming: a synchronous language for constraint search
2023-9-1
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming
2023-9-1
Correction to: Solution sampling with random table constraints
2023-9-1
Reasoning and inference for (Maximum) satisfiability: new insights
2023-9-1
Complexity of minimum-size arc-inconsistency explanations
2023-9-1
Learn and route: learning implicit preferences for vehicle routing
2023-9-1
Constraint programming approaches to electric vehicle and robot routing problems
2023-9-1
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
2023-9-1
Floating-point numbers round-off error analysis by constraint programming
2023-9-1
CSP beyond tractable constraint languages
2023-9-1
From declarative models to local search
2023-8-12
Security-Aware Database Migration Planning
2023-8-10
The extensional constraint
2023-8-3
Block-coordinate descent and local consistencies in linear programming
2023-6-1
Hybrid optimization of vehicle routing problems
2023-6-1
Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs
2023-6-1
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
2023-6-1
SAT-based optimal classification trees for non-binary data
2023-6-1
Exact methods for the Oven Scheduling Problem
2023-6-1
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
2023-6-1
Human-centred feasibility restoration in practice
2023-6-1
Super-reparametrizations of weighted CSPs: properties and optimization perspective
2023-5-16
The smallest hard trees
2023-3-25
An interdisciplinary experimental evaluation on the disjunctive temporal problem
2023-2-1
Towards better heuristics for solving bounded model checking problems
2022-12-27
The algebraic structure of the densification and the sparsification tasks for CSPs
2022-12-8
An algorithm-independent measure of progress for linear constraint propagation
2022-10-12
Short- and medium-term optimization of underground mine planning using constraint programming
2022-9-27
Solution sampling with random table constraints
2022-6-24
Boosting isomorphic model filtering with invariants
2022-6-16
Propagation complete encodings of smooth DNNF theories
2022-6-3
Fast and parallel decomposition of constraint satisfaction problems
2022-6-3
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
2022-6-1
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids
2022-5-28
Generative magic and designing magic performances with constraint programming
2022-5-21
When bounds consistency implies domain consistency for regular counting constraints
2022-5-20
Learning the travelling salesperson problem requires rethinking generalization
2022-4-1
Concise integer linear programming formulation for clique partitioning problems
2022-4-1
A constraint-based approach to learn temporal features on action models from multiple plans
2022-4-1
Correct approximation of IEEE 754 floating-point arithmetic for program verification
2022-2-22
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
2022-1-25
Global domain views for expressive and cross-domain constraint programming
2022-1-11
Variable ordering for decision diagrams: A portfolio approach
2022-1-4
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
2021-6-15
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远