Issue 1152: Improve negated axioms calculation in default value axioms task transformation - Fast Downward issue tracker

Title	Improve negated axioms calculation in default value axioms task transformation
Priority	wish	Status	unread
Superseder		Nosy List	haz, jendrik, malte, salome
Assigned To		Keywords
Optional summary	Related to issue450 Also see meta-issue issue924

Created on 2024-09-17.15:17:47 by salome, last changed by haz.

Summary
Related to issue450 Also see meta-issue issue924

Messages
msg11695 (view)	Author: salome	Date: 2024-09-17.15:17:47
The calculation of negated axioms in the default value axioms task transformation can blow up since we perform a CNF to DNF conversion. We could avoid this by using auxiliary variables.

History
Date	User	Action	Args
2024-09-17 17:54:36	haz	set	nosy: + haz
2024-09-17 15:21:40	salome	set	nosy: + malte, jendrik
2024-09-17 15:17:47	salome	create