Application and analysis of unsatisfiable cores on circuits synthesis | IEEE Conference Publication | IEEE Xplore