2022-12-13
Vijay Ganesh will give a talk on “SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem” (conjoint with LIP6) during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/