Extended Resolution Proofs for Conjoining BDDs

  • Carsten Sinz (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period09 Jun 2006
Event title1st Intl. Computer Science Symp. in Russia (CSR 2006)
Event typeConference
LocationRussian FederationShow on map

Fields of science

  • 102 Computer Sciences