Introducing Preferences in Planning as Satisfiability | UPT Perpustakaan UHAMKA