Efficient model generation through compilation

DOI10.1007/3-540-61511-3_105zbMath1412.68260OpenAlexW1687247589MaRDI QIDQ4647539

Tim Geisler, Heribert Schütz

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

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

Uses Software

• TPTP
• SATCHMO
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Mixtus: An automatic partial evaluator for full Prolog
• Minimal model generation with positive unit hyper-resolution tableaux
• The TPTP problem library

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