Others

 

Workshop papers

• Prime Implicant Enumeration via QBF Solvers
  Noel Arteche and Montserrat Hermo
  Presented at the QBF Workshop 2021 at the 24th conference in Theory and Applications of Satisfiability Testing (SAT 2021)
  [ PDF ]
• A Formal Language for QBF Family Definitions
  Noel Arteche and Matthias van der Hallen
  Presented at the QBF Workshop 2020 at the 23rd conference in Theory and Applications of Satisfiability Testing (SAT 2020)
  [ PDF ]

Unpublished manuscripts

• Wittgenstein’s Aesthetics in the Philosophy of Mathematical Practice (2022)
• Between Invention and Discovery: What Video Game Speedrunning Can Teach Us about Mathematical Practice (2022)
• Strict Finitism’s Unrequited Love for Computational Complexity (2021)
• From Trueba to Rohmer: Form, destiny and transcendentalism in Le Rayon vert and La virgen de agosto (2020)

Notes

• Descriptive Complexity: Summary Notes (2021)
• Introduction to Modal Logic: Study Notes (2020)

On video games (in Spanish)

• Seattle no fue inundada: Mito y espectáculo en The Last of Us: Parte II (2020) - Published on Start
• Observation: La forma, el fondo y el iPhone de Obama (2019) - Published on Start
• Trüberbrook: La solución se presenta sola (2019) - Published on Start
• Tomar la palabra: Diálogo, libertad e inteligencia artificial (2019) - Published on Start
• 11-11 Memories Retold: Guerra, paz y espera) (2019) - Published on Start
• Tacoma y el cyberpunk costumbrista (2019) - [Unpublished]
• Do Not Feed the Monkeys: Las noticias nunca hablan del tiempo (2018) - Published on Start
• Mooncrash y Majora’s Mask: Repetición y temporalidad (2018) - Published on Start
• Zelda: Detrás de la leyenda, de Salva Fernández (2018) - Published on Start
• El corte y la cinestesia en el lenguaje videolúdico (2018) - Published on Start
• Dialogue: A Writer’s Story y la dicotomía de Feynman (2018) - Published on Start
• Hob (2017) - Originally published on ZehnGames
• La didáctica en el Santuario de la Espada de Breath of the Wild (2017) - Published on Start
• Abstracción, madurez y videojuegos (2017) - Originally published on ZehnGames
• Console Wars, de Blake J. Harris (2017) - Published on Start
• Prey y el simulador inmersivo como supragénero (2017) - Originally published on ZehnGames
• Flat Heroes: el multijugador matemático (2017) - Originally published on ZehnGames
• Dishonored 2: El agradable anacronismo de Arkane (2017) - Published on Start
• Life Is Strange y el analfabetismo videolúdico (2017) - Published on Start
• El lenguaje propio y la amistad interactiva en Journey y Majora’s Mask (2016) - Published on Start