Revisiting Hyper Binary Resolution.

Marijn Heule Matti Järvisalo Armin Biere

Published in: CPAIOR (2013)

Keyphrases

high resolution
low resolution
real world
image resolution
real time
multiscale
multi agent
binary tree
consequence finding