Efficient model generation through compilation

DOI10.1007/3-540-61511-3_105MaRDI QIDQ4647539zbMATH OpenOpenAlexFDO

Authors Heribert Schütz, Tim Geisler

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_105

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Efficient model generation through compilation.
• I-SATCHMO: An improvement of SATCHMO
• Generating relevant models
• scientific article; zbMATH DE number 4094866
• Positive unit hyperresolution tableaux and their application to minimal model generation

Cites work

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• Minimal model generation with positive unit hyper-resolution tableaux
• Mixtus: An automatic partial evaluator for full Prolog
• The TPTP problem library

Cited in

(11)

• Efficient input-output model representations
• Efficient model generation through compilation.
• Blocking and other enhancements for bottom-up model generation methods
• scientific article; zbMATH DE number 1696802 (Why is no real title available?)
• Model generation with Boolean constraints
• Blocking and Other Enhancements for Bottom-Up Model Generation Methods
• scientific article; zbMATH DE number 1140676 (Why is no real title available?)
• MGTP: a model generation theorem prover. Its advanced features and applications
• R-SATCHMO: Refinements on I-SATCHMO
• I-SATCHMO: An improvement of SATCHMO
• Generating relevant models

Describes a project that uses

Uses Software

• SATCHMO
• SETHEO
• OTTER
• TPTP

This page was built for publication: Efficient model generation through compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647539)