Treffer 1 - 20 von 65 für Suche 'Porschen, Stefan', Suchdauer: 0,76s Treffer weiter einschränken
  1. 1
    CNF-Base Hypergraphs: (Dense) Maximal Non-Diagonality and Combinatorial Designs

    CNF-Base Hypergraphs: (Dense) Maximal Non-Diagonality and Combinatorial Designs von Porschen, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Orbit Spaces and Pre-Bundles of CNF-Base Hypergraphs

    Orbit Spaces and Pre-Bundles of CNF-Base Hypergraphs von Porschen, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    CNF-Structure: Stabilizers, Orbits, Fibre-Transversals

    CNF-Structure: Stabilizers, Orbits, Fibre-Transversals von Porschen, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    XSAT and NAE-SAT of linear CNF classes

    XSAT and NAE-SAT of linear CNF classes von Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald, Wotzlaw, Andreas

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation

    Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Counting All Solutions of Minimum Weight Exact Satisfiability

    Counting All Solutions of Minimum Weight Exact Satisfiability von Porschen, Stefan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On variable-weighted exact satisfiability problems

    On variable-weighted exact satisfiability problems von Porschen, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On generalizations of the shadow independent set problem

    On generalizations of the shadow independent set problem von Porschen, Stefan

    Veröffentlicht in Discrete mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Algorithms for Rectangular Covering Problems

    Algorithms for Rectangular Covering Problems von Porschen, Stefan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    On the Rectangular Subset Closure of Point Sets

    On the Rectangular Subset Closure of Point Sets von Porschen, Stefan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation

    Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation

    Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Solving Minimum Weight Exact Satisfiability in Time O(20.2441n)

    Solving Minimum Weight Exact Satisfiability in Time O(20.2441n) von Porschen, Stefan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Satisfiability of mixed Horn formulas

    Satisfiability of mixed Horn formulas von Porschen, Stefan, Speckenmeyer, Ewald

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Linear CNF formulas and satisfiability

    Linear CNF formulas and satisfiability von Porschen, Stefan, Speckenmeyer, Ewald, Zhao, Xishun

    Veröffentlicht in Discrete Applied Mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On Some Weighted Satisfiability and Graph Problems

    On Some Weighted Satisfiability and Graph Problems von Porschen, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On linear CNF formulas

    On linear CNF formulas von PORSCHEN, Stefan, SPECKENMEYER, Ewald, RANDERATH, Bert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Algorithms for Variable-Weighted 2-SAT and Dual Problems

    Algorithms for Variable-Weighted 2-SAT and Dual Problems von Porschen, Stefan, Speckenmeyer, Ewald


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    On the Time Complexity of Rectangular Covering Problems in the Discrete Plane

    On the Time Complexity of Rectangular Covering Problems in the Discrete Plane von Porschen, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A CNF Formula Hierarchy over the Hypercube

    A CNF Formula Hierarchy over the Hypercube von Porschen, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: