SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).

Philipp Marohn Viorica Sofronie-Stokkermans

Published in: SOQE@KR (2021)

Keyphrases

object recognition
real time
real world
data mining
artificial intelligence
decision trees
bayesian networks
search algorithm
scheduling problem
medical images
image coding