Results 51 to 60 of about 15,438 (311)
Landscape analysis of constraint satisfaction problems [PDF]
We discuss an analysis of Constraint Satisfaction problems, such as Sphere Packing, K-SAT and Graph Coloring, in terms of an effective energy landscape. Several intriguing geometrical properties of the solution space become in this light familiar in terms of the well-studied ones of rugged (glassy) energy landscapes.
Florent Krzakala, Jorge Kurchan
openaire +3 more sources
The Complexity of the Distributed Constraint Satisfaction Problem
AbstractWe study the complexity of the Distributed Constraint Satisfaction Problem (DCSP) on a synchronous, anonymous network from a theoretical standpoint. In this setting, variables and constraints are controlled by agents which communicate with each other by sending messages through fixed communication channels.
Butti, S, Dalmau, V
openaire +5 more sources
A constraint programming approach to the stable marriage problem [PDF]
The Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a Constraint Satisfaction Problem.
Gent, Ian Philip +15 more
core +1 more source
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Modeling and Simulation of Mission Planning Problem for Remote Sensing Satellite Imaging
Mission planning problem for remote sensing satellite imaging is studied. Firstly, the time constraint satisfaction problem model is presented after analyzing the characteristic of time constraint.
Pan Yao +4 more
doaj +1 more source
On constraint satisfaction problems below P [PDF]
Symmetric Datalog, a fragment of the logic programming language Datalog, is conjectured to capture all constraint satisfaction problems (CSP) in L. Therefore developing tools that help us understand whether or not a CSP can be defined in symmetric Datalog is an important task.
openaire +4 more sources
Symmetry Definitions for Constraint Satisfaction Problems [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David A. Cohen +4 more
openaire +6 more sources
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley +1 more source
Improved ant colony optimization algorithm for solving constraint satisfaction problem
The traditional backtracking algorithm was less efficient on solving large-scale constraint satisfaction problem,and more difficult to be solved within a reasonable time.In order to overcome this problem,many incompleteness algo-rithms based on heuristic
HANGYong-gang Z +2 more
doaj +2 more sources
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
In the context of Constraint Programming, a portfolio approach exploits the complementary strengths of a portfolio of different constraint solvers. The goal is to predict and run the best solver(s) of the portfolio for solving a new, unseen problem.
Roberto Amadini +2 more
doaj +1 more source

