View in EDS PDF Full Text

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.

Saved in:
Bibliographic Details
Title: Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.
Authors: BEISER, ALEXANDER1 (AUTHOR), WOLTRAN, STEFAN1,2 (AUTHOR), HECHER, MARKUS1,2 (AUTHOR)
Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p489-506. 18p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068425100173