Combinational Equivalence Checking Using Satisfiability and Recursive Learning.

João P. Marques Silva Thomas Glass

Published in: DATE (1999)

Keyphrases

learning process
supervised learning
learning algorithm
learning systems
training data
active learning
incremental learning
neural network
knowledge acquisition
constraint satisfaction
phase transition
learning scheme
decision procedures