A counterexample to the lights out problem.

János Nagy Péter Pál Pach

Published in: J. Graph Theory (2022)

Keyphrases

model checking
formal verification
lighting conditions
photometric stereo
image sequences
data sets
learning algorithm
feature selection
moving objects
spatio temporal
co occurrence
simulated annealing