Fleury, Mathias; Biere, Armin Mining definitions in Kissat with Kittens. (English) Zbl 07757155 Form. Methods Syst. Des. 60, No. 3, 381-404 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka Planning as satisfiability: parallel plans and algorithms for plan search. (English) Zbl 1131.68099 Artif. Intell. 170, No. 12-13, 1031-1080 (2006). MSC: 68T20 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI