Solving QSAT in sublinear depth.

Alberto Leporati Luca Manzoni Giancarlo Mauri Antonio E. Porreca Claudio Zandron

Published in: CoRR (2019)

Keyphrases

depth information
artificial intelligence
case study
high quality
input image
combinatorial optimization