The Resolution of Keller's Conjecture.

Joshua Brakensiek Marijn Heule John Mackey David E. Narváez

Published in: IJCAR (1) (2020)

Keyphrases

high resolution
consequence finding
genetic algorithm
conflict detection
low resolution
special case
multi agent
data structure
object recognition
feature extraction
image processing
hidden markov models
medical images
knowledge base
sampling rate
information systems
database