Similar systems / relative reference systems / absolute reference systems / present systems / pathconsistency algorithms / geographic information systems / software verification / /
Organization
Princeton University / Sangeet Khemlani Department of Cognitive Science / Federal Bureau of Investigation / /
Person
Proc / /
Position
Colonel / editor / General / /
Product
Translation To SAT / /
PublishedMedium
Communications of the ACM / Lecture Notes in Computer Science / /