Attributes – Any property of a programming language construct such as The data type of a variable The value of an expression The location of a variable in memory
Histol · Kautz and selman.1992 Inspired by improvements in satisfiabity algorithms Big Idea Encode planning problem as a(very large) logical formula Initial-state all-possible-actions goal Find a satisfying assignment to action-time propositions, and we have a plan