ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Wirtschaft – KreativwirtschaftGesundheitsforschungIndustrie und Arbeitswelt der ZukunftRegenerative Energien – EnergieeffizienzWelterbe - KulturForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Wirtschaft – KreativwirtschaftGesundheitsforschungIndustrie und Arbeitswelt der ZukunftRegenerative Energien – EnergieeffizienzWelterbe - KulturForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren HTW Berlin Forschung Online-Forschungskatalog Publikationen MAXSAT of level graph formulas MAXSAT of level graph formulas Konferenzbeitrag › Konferenzpaper › 2010 Zitation Konferenzbeitrag Full Paper Speckenmeyer, E.; Porschen, S.: MAXSAT of level graph formulas. . Hg. von Sun Yat-sen Universität, Guangzhou, China. Guangzhou, China: 2010, S. 52-53. Zitieren BibTeX / RIS
MAXSAT of level graph formulas Konferenzbeitrag › Konferenzpaper › 2010 Zitation Konferenzbeitrag Full Paper Speckenmeyer, E.; Porschen, S.: MAXSAT of level graph formulas. . Hg. von Sun Yat-sen Universität, Guangzhou, China. Guangzhou, China: 2010, S. 52-53. Zitieren BibTeX / RIS