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....

Celý popis

Podrobná bibliografia

Vydané v:	Expert systems with applications Ročník 238; s. 121810
Hlavný autor:	Barichard, Vincent
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 15.03.2024 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!