Login / Signup
On Declare MAX-SAT and a finite Herbrand Base for data-aware logs.
Giacomo Bergami
Published in:
CoRR (2021)
Keyphrases
</>
data structure
neural network
lower bound
cost function
tabu search
max sat