Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers

  • Autor:

    , , 
  • Quelle:

    29th ICTAI 2017: Boston, MA, USA: 1029-1036