ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Technologien für Industrie und GesellschaftTechnologien für Gesundheit und LebenErneuerbare Energien und RessourceneffizienzDesign und KulturNachhaltiges Wirtschaften, Unternehmertum und Zukunft der ArbeitForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisArbeitskreiseWissenstransferVeranstaltungenTransfer ü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 Technologien für Industrie und GesellschaftTechnologien für Gesundheit und LebenErneuerbare Energien und RessourceneffizienzDesign und KulturNachhaltiges Wirtschaften, Unternehmertum und Zukunft der ArbeitForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisArbeitskreiseWissenstransferVeranstaltungenTransfer ü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 Partial MAXSAT of level graph (mixed-Horn) formlas Partial MAXSAT of level graph (mixed-Horn) formlas Artikel › Journalartikel › 2010 Zitation Artikel Speckenmeyer, E.; Porschen, S.: Partial MAXSAT of level graph (mixed-Horn) formlas. In: Studies in Logic 3. (2010), S. 24-43. ISSN 1674-3202 Zitieren BibTeX / RIS
Partial MAXSAT of level graph (mixed-Horn) formlas Artikel › Journalartikel › 2010 Zitation Artikel Speckenmeyer, E.; Porschen, S.: Partial MAXSAT of level graph (mixed-Horn) formlas. In: Studies in Logic 3. (2010), S. 24-43. ISSN 1674-3202 Zitieren BibTeX / RIS