Efficient model generation through compilation. (Q1854374)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Efficient model generation through compilation.	scientific article

Statements

scholarly article

Efficient model generation through compilation. (English)

Heribert Schütz

Information and Computation

publication date

14 January 2003

zbMATH Keywords

tableau-based model generators

Satchmo

TPTP problem library

describes a project that uses

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1006/inco.1999.2863

LeanT A P: Lean tableau-based theorem proving

Minimal model generation with positive unit hyper-resolution tableaux

Hyperresolution and automated model building

SATCHMORE: SATCHMO with RElevancy

A Prolog technology theorem prover: Implementation by an extended Prolog compiler

The TPTP problem library

The design of the CADE-13 ATP system competition

Using resolution for deciding solvable classes and building finite models

Identifiers

zbMATH Open document ID

Mathematics Subject Classification ID

zbMATH DE Number

10.1006/INCO.1999.2863

Sitelinks

Mathematics(1 entry)

mardi Publication:1854374

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1854374&oldid=38765038"