Sign in
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.
Léo Robert
Daiki Miyahara
Pascal Lafourcade
Luc Libralesso
Takaaki Mizuki
Published in:
Inf. Comput. (2022)
Keyphrases
</>
real world
information retrieval
artificial intelligence
neural network
web pages
multi agent systems
databases
search engine
decision making
similarity measure
theorem prover
theorem proving
physical world
jigsaw puzzle