Bruno Campos Ribeiro
May the fork() be with you...
Home
Publications
Posts
Posts
2026-02-23
The Evolution of Planning as SAT
2026-02-19
Fundamentals of Automated Planning
2025-05-26
Understanding Planning Formalisms
2025-05-13
SAT Based Reasoning for Classical Planning with Parallel Actions