View in EDS PDF Full Text

On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.

Saved in:
Bibliographic Details
Title: On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
Source: Theory & Practice of Logic Programming. Mar2025, Vol. 25 Issue 2, p1-28. 28p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068424000462