Login / Signup
Thesis: Constraint solving over multi-valued logics - application to digital circuits.
Francisco Azevedo
Published in:
AI Commun. (2003)
Keyphrases
</>
constraint solving
digital circuits
machine learning
constraint propagation
constraint satisfaction problems
constraint logic programming
reinforcement learning
search algorithm