EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include ...
Abstract: This paper presents a mathematical model and a solution approach to solve the hot rolling scheduling problem. The problem is formulated as a constraint satisfaction problem with various ...
Constraint programming combined with machine learning provides a robust framework for addressing complex combinatorial problems across diverse domains such as energy management, production scheduling ...
Abstract: Problems known as Constraint Satisfaction issues (CSPs) are the ones on which every variable needs to be given e certain value in order to satisfy all the given constraints. In real life, ...
Logical reasoning remains a crucial area where AI systems struggle despite advances in processing language and knowledge. Understanding logical reasoning in AI is essential for improving automated ...
RODOS is a Real-time On-line DecisiOn Support system intended for use throughout a nuclear emergency, extending into the longer term. In this paper we concentrate on the early phases in which ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback