Login / Signup
User-Propagators for Custom Theories in SMT Solving.
Nikolaj S. Bjørner
Clemens Eisenhofer
Laura Kovács
Published in:
SMT (2022)
Keyphrases
</>
domain specific
constraint propagation
recommender systems
user defined
user satisfaction
user interface
end users
user interaction
user experience
constraint programming
user centric
evolutionary algorithm
collaborative filtering
linear programming
user profiles
heuristic search