CHR++: An efficient CHR system in C++ with don’t know non-determinism

This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make it easier to model problems of NP (Non-deterministic Polynomial time) complexity class thanks to the support of don’t know non-determinism....

Full description

Bibliographic Details

Published in:	Expert systems with applications Vol. 238; p. 121810
Main Author:	Barichard, Vincent
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 15.03.2024 Elsevier
Subjects:	C++ Computer Science Constraint handling rules Constraint handling rules with disjunction Constraint logic programming systems Constraint processing Domain specific languages Constraint handling rules Constraint handling rules with disjunction Constraint processing C++ Constraint logic programming systems Domain specific languages
ISSN:	0957-4174, 1873-6793
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!