Artificial Intelligence in Logic Design