SAT as a game
Computational Complexity
2015-11-04 v1 Artificial Intelligence
Authors:
Olivier Bailleux
Abstract
We propose a funny representation of SAT. While the primary interest is to present propositional satisfiability in a playful way for pedagogical purposes, it could also inspire new search heuristics.
Cite
@article{arxiv.1511.00813,
title = {SAT as a game},
author = {Olivier Bailleux},
journal= {arXiv preprint arXiv:1511.00813},
year = {2015}
}
Related papers
View all related →
Computational Complexity · Computer Science
SAT for pedestrians
Bernd R. Schuh
2014-08-15
Logic in Computer Science · Computer Science
Between proof construction and SAT-solving
Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski
2024-05-14
Logic in Computer Science · Computer Science
Presentation of a Game Semantics for First-Order Propositional Logic
Samuel Mimram
2008-12-18
Data Structures and Algorithms · Computer Science
Implementing Efficient All Solutions SAT Solvers
Takahisa Toda, Takehide Soh
2016-11-10
Artificial Intelligence · Computer Science
Propositional Abduction with Implicit Hitting Sets
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
2016-04-29
Physics Education · Physics
Drawing Science: an interdisciplinary, playful, and inclusive proposal
M. A. M. Souza, V. Dutra, T. B. Menezes, J. W. Silva
2021-09-23
Physics Education · Physics
Coordinating vector field equations and diagrams with a serious game in introductory physics
Pascal Klein, Nicole Burkard, Larissa Hahn, Merten Nicolay Dahlkemper +4
2021-05-26
Software Engineering · Computer Science
Having Fun in Learning Formal Specifications
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher +10
2019-03-04
Physics Education · Physics
Introducing the Physics of Complex Systems through Videogames
Alessio Focardi, Franco Bagnoli, Andrea Guazzini, Giorgio Gronchi
2026-01-15
Quantum Physics · Physics
Quantum Annealing and the Satisfiability Problem
Kristen L. Pudenz, Gregory S. Tallant, Todd R. Belote, Steven H. Adachi
2016-12-22
Artificial Intelligence · Computer Science
Towards solving the 7-in-a-row game
Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay
2021-07-13
Artificial Intelligence · Computer Science
Strategy Synthesis for General Deductive Games Based on SAT Solving
Miroslav Klimos, Antonin Kucera
2015-06-22
Artificial Intelligence · Computer Science
Solving the Satisfiability Problem Through Boolean Networks
Andrea Roli, Michela Milano
2011-02-01
Physics Education · Physics
Physionary - a scientific version of Pictionary
N. Poljak, A. Bosilj, S. Brzaj, J. Dragovic +3
2018-09-03
Artificial Intelligence · Computer Science
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero
Fei Wang, Tiark Rompf
2018-02-16
Physics Education · Physics
Serious Game for Physics as an Active and Gamified Learning Strategy
Alberto Pacheco
2024-07-24
Computational Complexity · Computer Science
Inverse Intersections for Boolean Satisfiability Problems
Paul W. Homer
2025-05-20
Logic in Computer Science · Computer Science
An early sign of satisfiability
Eliezer L. Lozinskii
2016-12-16
Combinatorics · Mathematics
All passable games are realizable as monotone set coloring games
Eric Demer, Peter Selinger, Kyle Wang
2025-06-03
Discrete Mathematics · Computer Science
Linear Programming Formulation of the Boolean Satisfiability Problem
Moustapha Diaby
2016-10-21
Artificial Intelligence · Computer Science
An Empirical Analysis of Search in GSAT
I. P. Gent, T. Walsh
2008-02-03
Artificial Intelligence · Computer Science
diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Matthias Nickles
2021-01-05
History and Overview · Mathematics
Secrets and Quantifiers
Bela Bajnok, Peter E. Francis
2024-04-18
Computers and Society · Computer Science
Encouraging early mastery of computational concepts through play
Hannah M. Dee, Jordi Freixenet, Xavier Cufi, Eduard Muntaner Perich +3
2020-05-11
Computer Science and Game Theory · Computer Science
Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games
Pierre Lescanne
2009-08-03