 | 2009 |
|---|
| 24 |       | Stefan Porschen,
Tatjana Schmidt,
Ewald Speckenmeyer:
On Some Aspects of Mixed Horn Formulas.
SAT 2009: 86-100 |
| 23 | | Stefan Porschen,
Tatjana Schmidt:
On Some SAT-Variants over Linear Formulas.
SOFSEM 2009: 449-460 |
| 22 | | Stefan Porschen,
Ewald Speckenmeyer,
Xishun Zhao:
Linear CNF formulas and satisfiability.
Discrete Applied Mathematics 157(5): 1046-1068 (2009) |
| 21 | | Stefan Porschen:
On Rectangular Covering Problems.
Int. J. Comput. Geometry Appl. 19(4): 325-340 (2009) |
| 2008 |
|---|
| 20 | | Stefan Porschen,
Ewald Speckenmeyer:
A CNF Class Generalizing Exact Linear Formulas.
SAT 2008: 231-245 |
| 2007 |
|---|
| 19 | | Stefan Porschen:
A CNF Formula Hierarchy over the Hypercube.
Australian Conference on Artificial Intelligence 2007: 234-243 |
| 18 | | Stefan Porschen:
Optimal Parameterized Rectangular Coverings.
ICCSA (1) 2007: 96-109 |
| 17 | | Stefan Porschen,
Ewald Speckenmeyer:
Algorithms for Variable-Weighted 2-SAT and Dual Problems.
SAT 2007: 173-186 |
| 16 | | Stefan Porschen:
On variable-weighted exact satisfiability problems.
Ann. Math. Artif. Intell. 51(1): 27-54 (2007) |
| 15 | | Stefan Porschen,
Ewald Speckenmeyer:
Satisfiability of mixed Horn formulas.
Discrete Applied Mathematics 155(11): 1408-1419 (2007) |
| 14 | | Stefan Porschen:
On generalizations of the shadow independent set problem.
Discrete Mathematics 307(11-12): 1473-1485 (2007) |
| 2006 |
|---|
| 13 | | Stefan Porschen:
Counting All Solutions of Minimum Weight Exact Satisfiability.
CIAC 2006: 50-59 |
| 12 | | Stefan Porschen:
Algorithms for Rectangular Covering Problems.
ICCSA (1) 2006: 40-49 |
| 11 | | Stefan Porschen,
Ewald Speckenmeyer,
Bert Randerath:
On Linear CNF Formulas.
SAT 2006: 212-225 |
| 2005 |
|---|
| 10 | | Stefan Porschen:
On the Rectangular Subset Closure of Point Sets.
ICCSA (1) 2005: 796-805 |
| 9 | | Stefan Porschen:
Solving Minimum Weight Exact Satisfiability in Time O(20.2441n).
ISAAC 2005: 654-664 |
| 8 | | Stefan Porschen:
On Some Weighted Satisfiability and Graph Problems.
SOFSEM 2005: 278-287 |
| 7 | | Stefan Porschen,
Bert Randerath,
Ewald Speckenmeyer:
Exact 3-satisfiability is decidable in time O(20.16254n).
Ann. Math. Artif. Intell. 43(1): 173-193 (2005) |
| 2004 |
|---|
| 6 | | Stefan Porschen:
On the Time Complexity of Rectangular Covering Problems in the Discrete Plane.
ICCSA (3) 2004: 137-146 |
| 5 | | Stefan Porschen,
Ewald Speckenmeyer:
Worst Case Bounds for some NP-Complete Modified Horn-SAT Problems.
SAT 2004 |
| 4 | | Stefan Porschen,
Ewald Speckenmeyer:
Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.
SAT (Selected Papers 2004: 251-262 |
| 2003 |
|---|
| 3 | | Stefan Porschen,
Bert Randerath,
Ewald Speckenmeyer:
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.
SAT 2003: 172-187 |
| 2 | | Peter Heusch,
Stefan Porschen,
Ewald Speckenmeyer:
Improving a fixed parameter tractability time bound for the shadow problem.
J. Comput. Syst. Sci. 67(4): 772-788 (2003) |
| 2001 |
|---|
| 1 | | Stefan Porschen:
On Covering Z-Grid Points by Rectangles.
Electronic Notes in Discrete Mathematics 8: 80-83 (2001) |
