Recognition of Nested Gates in CNF Formulas

  • Autor:

    , Norbert Manthey, 
  • Quelle:

    18th SAT 2015: Austin, TX, USA: 255-271