Modelling an Assignment Problem in Answer Set Programming
This is a tutorial on how to model, encode, and solve assignment problems. We make it concrete in the following example, hoping you can adapt to your needs.
Raimundo Saona
Research website of Raimundo Saona (mathematician).
Latest posts
The Evolving Foundations of Math
This is a call to browse the amazing work put up by Quanta Magazine.
Useful LaTeX
Here is a collection of useful packages and tips for LaTeX.
Jujutsu version control system
Jujutsu is a version control system. It is Git-compatible, and you will find it is an improvement over other version control systems.
Call for Applicants - HLF 2026
The application process for the 13th Heidelberg Laureate Forum (HLF) has just begun and runs until February 11, 2026, at 11:59 p.m. Berlin time (CET / UTC+1).
PhD opportunities at LSE
🎓 PhD Opportunities in Game Theory at LSE Topic: Mathematical Game Theory.
Fixpoint theorems
This is a list of fix-point theorems that I have seen are useful in Game Theory.
Bayesian Persuasion
This is a very short introduction to Bayesian Persuasion: the use of information to control the belief of rational beings.
Newsletters
This is a collection of newsletter that I have found worth subscribing to.
Literature Research in Academic Databases
This post is heavily based on a course “Literature Research in Academic Databases” (provided at ISTA) to understand how to perform literature review in science including the use of Google Scholar, Web of Science, and Scopus. I have adapted it for my field of research.