Approximately Propagation Complete and Conflict Propagating Constraint Encodings.

Rüdiger Ehlers Francisco Palau Romero

Published in: SAT (2018)

Keyphrases

real time
real world
orders of magnitude
domain independent
expert systems
recommender systems
logic programs
penalty function