A simple and efficient Boolean solver for constraint logic programming
type: Item
instance of: scholarly article
title: A simple and efficient Boolean solver for constraint logic programming
zbMATH Open document ID: 0870.68038
DOI: 10.1007/BF00247670
author: Philippe Codognet
author: Daniel Diaz
published in: Journal of Automated Reasoning
publication date: 1997-07-20T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1019906
zbMATH Keywords: consistency techniques
zbMATH Keywords: local propagation methods
zbMATH Keywords: constraint logic programming
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00247670
OpenAlex ID: W2061373658
Recommended article: An efficient algorithm of logic programming with constraint hierarchy
Recommended article: Q4804883
Recommended article: Q4809068
Recommended article: Constraint satisfaction using constraint logic programming
Recommended article: The Boolean Constraint Solver of SWI-Prolog (System Description)
Recommended article: Efficient interval linear equality solving in constraint logic programming
Recommended article: Using Boolean Constraint Propagation for Sub-clauses Deduction
Recommended article: Q2767022
description: scientific article; zbMATH DE number 1019906