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 XSAT and NAE-SAT of linear CNF classes XSAT and NAE-SAT of linear CNF classes Artikel › Journalartikel › 2014 Zitation Artikel Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald; Wotzlaw, Andreas: XSAT and NAE-SAT of linear CNF classes. In: Discrete Applied Mathematics 167. (2014), S. 1-14. ISSN 0166-218X Zitieren BibTeX / RIS
XSAT and NAE-SAT of linear CNF classes Artikel › Journalartikel › 2014 Zitation Artikel Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald; Wotzlaw, Andreas: XSAT and NAE-SAT of linear CNF classes. In: Discrete Applied Mathematics 167. (2014), S. 1-14. ISSN 0166-218X Zitieren BibTeX / RIS