A general setting for flexibly combining and augmenting decision procedures
type: Item
instance of: scholarly article
title: A general setting for flexibly combining and augmenting decision procedures
zbMATH Open document ID: 1003.03012
DOI: 10.1023/A:1015707001763
author: Predrag Janičić
author: Alan Bundy
published in: Journal of Automated Reasoning
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1784332
zbMATH Keywords: theorem proving
zbMATH Keywords: efficient combining and augmenting of decision procedures
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: a:1015707001763
OpenAlex ID: W1656633205
Recommended article: Q4737130
Recommended article: Frontiers of Combining Systems
Recommended article: Q4417954
Recommended article: Strategies for combining decision procedures
Recommended article: Q3770294
Recommended article: Q4387193
Recommended article: Combining decision procedures by (model-)equality propagation
Recommended article: Combining Decision Procedures by (Model-)Equality Propagation
Recommended article: Augmentation and synthesis of knowledge in problems of decision-making theory
Recommended article: Combining decision procedures for the reals
description: scientific article; zbMATH DE number 1784332