Local Minimization of And-Inverter Graphs

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period25 Sept 2006
Event title2nd Guangzhou Symposium on Satisfiability in Logical-Based Modeling
Event typeConference
LocationChinaShow on map

Fields of science

  • 102 Computer Sciences

Documents & Links