Efficient model generation through compilation.
type: Item
instance of: scholarly article
title: Efficient model generation through compilation.
zbMATH Open document ID: 1045.68605
author: Heribert Schütz
author: Tim Geisler
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 1853127
zbMATH Keywords: tableau-based model generators
zbMATH Keywords: Satchmo
zbMATH Keywords: TPTP problem library
describes a project that uses: SATCHMO
describes a project that uses: SETHEO
describes a project that uses: TPTP
MaRDI profile type: Publication
full work available at URL: inco.1999.2863
OpenAlex ID: W2066884140
cites work: Hyper tableaux
cites work: LeanT A P: Lean tableau-based theorem proving
cites work: Minimal model generation with positive unit hyper-resolution tableaux
cites work: Q4287493
cites work: Q5688908
cites work: Hyperresolution and automated model building
cites work: Q4524770
cites work: SATCHMORE: SATCHMO with RElevancy
cites work: Q3821629
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: The TPTP problem library
cites work: The design of the CADE-13 ATP system competition
cites work: Using resolution for deciding solvable classes and building finite models
DOI: 10.1006/INCO.1999.2863
description: scientific article; zbMATH DE number 1853127