On computing logic programs
type: Item
instance of: scholarly article
title: On computing logic programs
zbMATH Open document ID: 0865.68026
DOI: 10.1007/BF00283131
author: Yannis Dimopoulos
published in: Journal of Automated Reasoning
publication date: 1997-06-30T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 980898
zbMATH Keywords: problem-solving methods
zbMATH Keywords: linear programming
zbMATH Keywords: propositional satisfiability
zbMATH Keywords: constraint satisfaction
zbMATH Keywords: graph methods
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 980898