Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Miquel Bofill
Follow
Activity
Upvotes
Folders
Articles
5
A Good Snowman is Hard to Plan
2 October 2023 by
Miquel Bofill
and
others
Artificial Intelligence
On Grid Graph Reachability and Puzzle Games
2 October 2023 by
Miquel Bofill
and
others
at
University of St Andrews
Artificial Intelligence
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
15 October 2021 by
Miquel Bofill
and
others
Artificial Intelligence
Resource Analysis driven by (Conditional) Termination Proofs
23 July 2019 by
Elvira Albert
and
others
Programming Languages
,
Logic in Computer Science
Solving the Wastewater Treatment Plant Problem with SMT
17 September 2016 by
Miquel Bofill
and
others
Artificial Intelligence
,
Logic in Computer Science
This is an AI-generated summary
Key points
Topics
Artificial Intelligence
Logic in Computer Science
Programming Languages
