Property Directed Reachability for Planning Revisited

Download PDF
Open Webpage

Ava Clifton, Charles Gretton

Published: 01 Jan 2023, Last Modified: 28 Oct 2024KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Property Directed Reachability (PDR) is a relatively new SAT-based search paradigm for classical AI planning. Compared to earlier SAT-based paradigms, PDR proceeds without unrolling the system tran...