Publikationen von Prof. Dr. rer. nat. habil. Stefan Porschen

CNF-Base Hypergraphs: (Dense) Maximal Non-Diagonality and Combinatorial Designs
Porschen, Stefan. In: International Journal of Computer Science 51, 3. (2024), S. 329-344.

Artikel › Journalartikel › 2024
On maximal non-diagonal base hypergraphs
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2023. Hong Kong: 2023, S. 42-47.

Konferenzbeitrag › Konferenzpaper › 2023
Orbit Spaces and Pre-Bundles of CNF-Base Hypergraphs
Porschen, Stefan. In: International Journal of Computer Science vol. 49, no. 3. (2022), S. 710-719.

Artikel › Journalartikel › 2022
Discrete Pre-Bundles and CNF-SAT
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2021. Hong Kong: 2021, S. 49-54.

Konferenzbeitrag › Konferenzpaper › 2021
CNF-Structure: Stabilizers, Orbits, Fibre-Transversals
Porschen, Stefan. In: International Journal of Computer Science vol. 47, no. 2, 2020. (2020), S. 284-295.

Artikel › Journalartikel › 2020
A Hierarchy of Diagonal Base Hypergraphs
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2019. Hong Kong: 2019, S. 106-111.

Konferenzbeitrag › Konferenzpaper › 2019
On Isotropy Groups of CNF Formulas
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings WCE 2019. Hong Kong: 2019, S. 84-89.

Konferenzbeitrag › Konferenzpaper › 2019
Base Hypergraphs and Orbits of CNF Formulas
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2018. Hong Kong: 2018, S. 106-111.

Konferenzbeitrag › Konferenzpaper › 2018
On the Autarky Structure of Linear CNF's
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2017. Hong Kong: 2017, S. 171-176.

Konferenzbeitrag › Konferenzpaper › 2017
A duality perspective on set systems
Porschen, Stefan. In: Special Issue for the International Association of Engineers Conferences 2015. Singapore: 2016, S. 236-249.

Sammelbandbeitrag › Aufsatz › 2016
Structural Aspects of Propositional SAT
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2016. Hong Kong: 2016, S. 126-131.

Konferenzbeitrag › Konferenzpaper › 2016
On Counting Planar Models
Porschen, Stefan; Schmidt, Tatjana. In: Lecture Notes in Engineering and Computer Science, Proceedings WCE 2015. Hong Kong: 2015, S. 209-214.

Konferenzbeitrag › Konferenzpaper › 2015
On Duality Concepts regarding Hypergraphs and Propositional Formulas
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2015. Hong Kong: 2015, S. 118-123.

Konferenzbeitrag › Konferenzpaper › 2015
Probabilistic Analysis of Random Mixed Horn Formulas
Wotzlaw, A., Speckenmeyer, E., Porschen, Stefan. In: Accepted Papers ISAIM 2014. Chucago, USA: 2014, S. 1-5.

Konferenzbeitrag › Konferenzpaper › 2014
Restricted Poly-Time SAT-Solvable CNF's
Porschen, Stefan, Schmidt, Tatjana. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2014. Hong Kong: 2014, S. 191-195.

Konferenzbeitrag › Konferenzpaper › 2014
XSAT and NAE-SAT of linear CNF classes
Porschen, Stefan et al. In: Discrete Applied Mathematics 167. (2014), S. 1-14.

Artikel › Journalartikel › 2014
SAT-Solving Of Certain Graph-Based CNF's
Porschen, Stefan; Schmidt, Tatjana. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2013. Hong Kong: 2013, S. 251-256.

Konferenzbeitrag › Konferenzpaper › 2013
satUZK: Solver Description
van der Grinten, Alexander et al. In: Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, volume B-2013-1 of . Helsinki: 2013, S. 82-82.

Konferenzbeitrag › Konferenzpaper › 2013
Combinatorial problems with closure structures
Porschen, Stefan. In: Intelligent Control and Innovative Computing. New York: 2012, S. 325-336.

Sammelbandbeitrag › Aufsatz › 2012
Generalized k-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation
Wotzlaw, Andreas et al. In: Discrete Applied Mathematics 160, 16. (2012), S. 2349-2363.

Artikel › Journalartikel › 2012
Maximal Satisfiable CNF Formulas
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2012. Hong Kong: 2012, S. 240-245.

Konferenzbeitrag › Konferenzpaper › 2012
pfolioUZK: solver description
Wotzlaw, Andreas et al. In: Proceedings of SAT Challenge 2012; Solver and Benchmark descriptions. Helsinki, Finnland: 2012, S. 45-45.

Konferenzbeitrag › Konferenzpaper › 2012
satUZK: solver description
Wotzlaw, Andreas et al. In: Proceedings of SAT Challenge 2012; Solver and Benchmark descriptions. Helsinki, Finnland: 2012, S. 54-54.

Konferenzbeitrag › Konferenzpaper › 2012
A Satisfiability-based Approach for Embedding Generalized Tanglegrams on Level Graphs
Speckenmeyer, E., Wotzlaw, A., Porschen, Stefan. In: Lecture Notes in Computer Science, Proceedings SAT 2011. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2011, S. 134-144.

Konferenzbeitrag › Konferenzpaper › 2011
On problems with closure properties
Porschen, Stefan. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2011. Hong Kong: 2011, S. 258-262.

Konferenzbeitrag › Konferenzpaper › 2011
Complexity Results for Linear XSAT Problems
Porschen, S. et al. In: Lecture Notes in Computer Science, Proceedings SAT 2010. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2010, S. 251-263.

Konferenzbeitrag › Konferenzpaper › 2010
MAXSAT of level graph formulas
Speckenmeyer, E.; Porschen, S.. Guangzhou, China: 2010, S. 52-53.

Konferenzbeitrag › Konferenzpaper › 2010
Minimizing Variable-Weighted X3SAT
Porschen, S.; Plagge, G.. In: Lecture Notes in Engineering and Computer Science, Proceedings ICCS 2010. Hong Kong: 2010, S. 449-454.

Konferenzbeitrag › Konferenzpaper › 2010
Partial MAXSAT of level graph (mixed-Horn) formlas
Speckenmeyer, E.; Porschen, S.. In: Studies in Logic 3. (2010), S. 24-43.

Artikel › Journalartikel › 2010
An FPT-variant of the shadow problem with kernelization
Porschen, Stefan. In: Proceedings ICCS 2009. Hong Kong: 2009, S. 432-439.

Konferenzbeitrag › Konferenzpaper › 2009
Lnear CNF formulas and satisfiability
Porschen, S. et al. In: Discrete Applied Mathematics 157. (2009), S. 1046-1068.

Artikel › Journalartikel › 2009
On rectangular covering problems
Porschen, Stefan. In: Intern. Journal of Computational Geometry and Applications 19. (2009), S. 325-340.

Artikel › Journalartikel › 2009
On some aspects of mixed-Horn formulas
Porschen, S. et al. In: Proceedings SAT 2009. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2009, S. 86-100.

Konferenzbeitrag › Konferenzpaper › 2009
On some SAT variants over linear formulas
Porschen, S.; Schmidt, T.. In: Proceedings SOFSEM 2009. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2009, S. 449-460.

Konferenzbeitrag › Konferenzpaper › 2009
A CNF class generalizing exact-linear formulas
Porschen, S.; Speckenmeyer, E.. In: Proceedings SAT 2008. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2008, S. 231-245.

Konferenzbeitrag › Konferenzpaper › 2008
A CNF formula hierarchy over the hypercube
Porschen, Stefan. In: Proceedings AI 2007. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2007, S. 234-243.

Konferenzbeitrag › Konferenzpaper › 2007
Algorithms for variable-weighted 2-SAT and dual problems
Porschen, S.; Speckenmeyer, E.. In: Proceedings SAT 2007. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2007, S. 173-186.

Konferenzbeitrag › Konferenzpaper › 2007
On generalizations of the shadow independent set problem
Porschen, S.. In: Discrete Mathematics 37. (2007), S. 1473-1485.

Artikel › Journalartikel › 2007
On variable-weighted exact satisfiability problems
Porschen, Stefan. In: Annals of Mathematics and Artificial Intelligence 51. (2007).

Artikel › Journalartikel › 2007
Optimal Parameterized Rectangular Coverings
Porschen, Stefan. In: Proceedings ICCSA/CGA 2007. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2007, S. 96-109.

Konferenzbeitrag › Konferenzpaper › 2007
Satisfiability of mixed-Horn formulas
Porschen, S.; Speckenmeyer, E.. In: Discrete Applied Mathematics 155. (2007), S. 1408-1419.

Artikel › Journalartikel › 2007
Structural and computational aspects of restricted Boolean formulas
Porschen, Stefan. Fachgruppe Mathematik/Informatik, Universität zu Köln, : 2007.

Buch / Monographie › 2007
Algorithms for rectangular covering problems
Porschen, S.. In: Proceedings ICCSA/CGA 2006. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2006, S. 40-49.

Konferenzbeitrag › Konferenzpaper › 2006
Counting all solutions of minimum-weight exact satisfiability
Porschen, S.. In: Proceedings CIAC 2006. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2006, S. 50-59.

Konferenzbeitrag › Konferenzpaper › 2006
NP-completeness of some restricted linear formula classes
Porschen, S.; Speckenmeyer, E.. In: Proceedings Guangzhou Symposium on Satisfiability in Logic-Based Modeling. Guangzhou, China: 2006, S. 113-123.

Konferenzbeitrag › Konferenzpaper › 2006
On linear CNF formulas
Porschen, S.; Speckenmeyer, E.. In: Proceedings SAT 2006. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2006, S. 212-225.

Konferenzbeitrag › Konferenzpaper › 2006
Exact 3-Satisfiability is decidable in time O(2^{0.16254n})
Porschen, S. et al. In: Annals of Mathematics and Artificial Intelligence 43. (2005), S. 173-193.

Artikel › Journalartikel › 2005
On some weighted satisfiability and graph problems
Porschen, S.. In: Proceedings SOFSEM 2005. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2005, S. 278-287.

Konferenzbeitrag › Konferenzpaper › 2005
On the rectangular subset closure of point set
Porschen, S.. In: Proceedings ICCSA/CGA 2005. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2005, S. 796-805.

Konferenzbeitrag › Konferenzpaper › 2005
Solving minimum-weight exact satisfiability in O(2^{0.2441n}) time
Porschen, Stefan. In: Proceedings ISAAC 2005. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2005, S. 654-664.

Konferenzbeitrag › Konferenzpaper › 2005
Worst-Case bounds for some modified NP-complete Horn-SAT problems
Porschen, S.; Speckenmeyer, E.. In: Post-Proceedings SAT 2004. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2005, S. 251-262.

Konferenzbeitrag › Konferenzpaper › 2005
Linear time algorithms for some not-all-equal satisfiability problems
Porschen, S. et al. In: Post-Proceedings SAT 2003. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2004, S. 172-187.

Konferenzbeitrag › Konferenzpaper › 2004
On the time complexity of rectangular covering problems in the discrete plane
Porschen, S.. In: Proceedings ICCSA/CGA 2004. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 2004, S. 137-146.

Konferenzbeitrag › Konferenzpaper › 2004
Satisfiability problems for mixed-Horn formulas
Porschen, S.; Speckenmeyer, E.. In: Proceedings Guangzhou symposium on SAT-based modeling. Guangzhou, China: 2004, S. 106-113.

Konferenzbeitrag › Konferenzpaper › 2004
Improving a fixed-parameter tractability time bound for the shadow problem
Heusch, P. et al. In: Journal of Computer and System Sciences 67. (2003), S. 772-788.

Artikel › Journalartikel › 2003
On covering integer-grid points by rectangles
Porschen, S.. In: Electronic Notes in discrete Mathematics 8. (2001), S. 80-83.

Artikel › Journalartikel › 2001

Hochschule für Technik und Wirtschaft Berlin

University of Applied Sciences

Publikationen von Prof. Dr. rer. nat. habil. Stefan Porschen

Themen

Informationen für

Über die HTW Berlin

Beliebte Seiten

Portale

Service