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á bibliografie

Vydáno v:	Expert systems with applications Ročník 238; s. 121810
Hlavní autor:	Barichard, Vincent
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 15.03.2024 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!