COMP3620 6320 Arti�cial Intelligence
COMP3620/6320 Arti�cial Intelligence Assignment 3: SAT-Based Planning The Australian National University 1 Background SAT-based planning is a powerful approach to solve planning problems that relies on unrolling a propo- sitional logic theory over time and checking whether or not a parallel plan exists. Early SAT encodings of planning problems were generated by hand, but now […]
COMP3620 6320 Arti�cial Intelligence Read More »