Certifying Phase Abstraction.

Nils Froleyks Emily Yu Armin Biere Keijo Heljanko

Published in: IJCAR (1) (2024)

Keyphrases

high level
learning phase
phase difference
decision theoretic planning
neural network
image processing
website
decision trees
multiresolution
significant improvement