TY - GEN
T1 - On the utility of plan-space (causal) encodings
AU - Mali, Amol D.
AU - Kambhampati, Subbarao
PY - 1999/1/1
Y1 - 1999/1/1
N2 - A systematic analytical and empirical comparison of plant-space (causal) encodings and state-space encodings is attempted. As a first step, the connection between the different ways of providing the correctness of a plan, and the spectrum of possible SAT encodings are detailed. The dimensions are characterized, and encodings are given which are much smaller than those previously proposed. Finally, some empirical results are given that demonstrate that the relative encoding sizes are indeed correlated with the hardness of solving them.
AB - A systematic analytical and empirical comparison of plant-space (causal) encodings and state-space encodings is attempted. As a first step, the connection between the different ways of providing the correctness of a plan, and the spectrum of possible SAT encodings are detailed. The dimensions are characterized, and encodings are given which are much smaller than those previously proposed. Finally, some empirical results are given that demonstrate that the relative encoding sizes are indeed correlated with the hardness of solving them.
UR - http://www.scopus.com/inward/record.url?scp=0032596466&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0032596466&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0032596466
SN - 0262511061
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 557
EP - 563
BT - Proceedings of the National Conference on Artificial Intelligence
PB - AAAI
T2 - Proceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99)
Y2 - 18 July 1999 through 22 July 1999
ER -