Theorem proving with ordering and equality constrained clauses
type: Item
instance of: scholarly article
title: Theorem proving with ordering and equality constrained clauses
zbMATH Open document ID: 0844.68107
author: Robert Nieuwenhuis
author: Albert Rubio
published in: Journal of Symbolic Computation
publication date: 1995-09-04T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 792836
zbMATH Keywords: constraint strategies
zbMATH Keywords: constraint inheritance strategy
zbMATH Keywords: redundancy criteria
MaRDI profile type: Publication
OpenAlex ID: W2082976889
DOI: 10.1006/JSCO.1995.1020
description: scientific article; zbMATH DE number 792836