Publication | Date of Publication | Type |
---|
Matroid Horn functions | 2024-01-15 | Paper |
Computing Remoteness Functions of Moore, Wythoff, and Euclid's games | 2023-11-05 | Paper |
Reallocation problems with minimum completion time | 2023-08-10 | Paper |
A 3/4 differential approximation algorithm for traveling salesman problem | 2023-08-04 | Paper |
Fair ride allocation on a line | 2023-07-28 | Paper |
Incomplete list setting of the hospitals/residents problem with maximally satisfying lower quotas | 2023-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q5875590 | 2023-02-03 | Paper |
Trade-offs among degree, diameter, and number of paths | 2023-01-11 | Paper |
Boolean analysis of incomplete examples | 2022-12-09 | Paper |
The Steiner Problem for Count Matroids | 2022-10-13 | Paper |
Minimizing submodular functions on diamonds via generalized fractional matroid matchings | 2022-09-23 | Paper |
Unique key Horn functions | 2022-06-13 | Paper |
Oracle-Based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs | 2022-05-11 | Paper |
Finding Sparse Solutions for Packing and Covering Semidefinite Programs | 2022-04-20 | Paper |
Posimodular function optimization | 2022-03-22 | Paper |
Approximating Minimum Representations of Key Horn Functions | 2022-03-11 | Paper |
On the Sprague-Grundy function of extensions of proper \textsc{nim} | 2021-09-24 | Paper |
Optimal matroid partitioning problems | 2021-06-11 | Paper |
Generating clause sequences of a CNF formula | 2021-01-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5136271 | 2020-11-25 | Paper |
Recognizing distributed approval voting forms and correspondences | 2020-10-29 | Paper |
Enumerating Vertices of 0/1-Polyhedra associated with 0/1-Totally Unimodular Matrices | 2020-08-25 | Paper |
Enumerating Vertices of Covering Polyhedra with Totally Unimodular Constraint Matrices | 2020-03-26 | Paper |
Surrogate optimization for \(p\)-norms | 2019-11-28 | Paper |
Sprague-Grundy function of matroids and related hypergraphs | 2019-11-13 | Paper |
Deterministic Random Walks on Finite Graphs | 2019-09-17 | Paper |
Unit cost buyback problem | 2019-09-05 | Paper |
Online knapsack problem under concave functions | 2019-08-20 | Paper |
Proportional cost buyback problem with weight bounds | 2019-06-25 | Paper |
Sprague-Grundy function of symmetric hypergraphs | 2019-06-25 | Paper |
A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions | 2019-05-29 | Paper |
A multiplicative weight updates algorithm for packing and covering semi-infinite linear programs | 2019-05-17 | Paper |
Ranking top-k trees in tree-based phylogenetic networks | 2019-04-28 | Paper |
Online Knapsack Problem Under Concave Functions | 2019-04-26 | Paper |
On the Sprague-Grundy function of compound games | 2019-03-19 | Paper |
Total dual integrality of the linear complementarity problem | 2019-03-06 | Paper |
Approximation schemes for stochastic mean payoff games with perfect information and few random positions | 2019-01-11 | Paper |
Parameterized edge Hamiltonicity | 2018-09-17 | Paper |
Optimal composition ordering problems for piecewise linear functions | 2018-07-25 | Paper |
A potential reduction algorithm for two-person zero-sum mean payoff stochastic games | 2018-06-05 | Paper |
Surrogate Optimization for p-Norms | 2018-04-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636525 | 2018-04-19 | Paper |
Autark assignments of Horn CNFs | 2018-04-12 | Paper |
On the Sprague-Grundy function of \textsc{Exact} \(k\)-\textsc{Nim} | 2018-03-21 | Paper |
Linear Satisfiability Preserving Assignments | 2018-03-07 | Paper |
A convex programming-based algorithm for mean payoff stochastic games with perfect information | 2017-12-15 | Paper |
Strong duality in Horn minimization | 2017-11-22 | Paper |
Parameterized complexity of sparse linear complementarity problems | 2017-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5363788 | 2017-09-29 | Paper |
Posimodular function optimization | 2017-09-22 | Paper |
A representation of antimatroids by Horn rules and its application to educational systems | 2017-09-15 | Paper |
Sufficient conditions for the existence of Nash equilibria in bimatrix games in terms of forbidden \(2 \times 2\) subgames | 2017-04-27 | Paper |
A nested family of \(k\)-total effective rewards for positional games | 2017-04-12 | Paper |
A Multiplicative Weights Update Algorithm for Packing and Covering Semi-infinite Linear Programs | 2017-04-04 | Paper |
Markov decision processes and stochastic games with total effective payoff | 2017-01-24 | Paper |
Tetris Hypergraphs and Combinations of Impartial Games | 2017-01-10 | Paper |
Proportional Cost Buyback Problem with Weight Bounds | 2016-02-05 | Paper |
The Linear Complementarity Problems with a Few Variables per Constraint | 2016-01-29 | Paper |
Trichotomy for integer linear systems based on their sign patterns | 2016-01-21 | Paper |
Online minimization knapsack problem | 2015-12-08 | Paper |
On randomized fictitious play for approximating saddle points over convex sets | 2015-10-19 | Paper |
Deductive inference for the interiors and exteriors of horn theories | 2015-09-17 | Paper |
Parameterized Algorithms for Parity Games | 2015-09-16 | Paper |
A Potential Reduction Algorithm for Ergodic Two-Person Zero-Sum Limiting Average Payoff Stochastic Games | 2015-09-11 | Paper |
Parameterized edge Hamiltonicity | 2015-09-09 | Paper |
Deterministic random walks on finite graphs | 2015-07-23 | Paper |
On the Sprague-Grundy Function of Tetris Extensions of Proper {\sc Nim} | 2015-04-27 | Paper |
Efficient generation of all regular non-dominated coteries | 2015-03-03 | Paper |
Online unweighted knapsack problem with removal cost | 2015-01-19 | Paper |
Randomized algorithms for online knapsack problems | 2014-12-02 | Paper |
Augmenting edge-connectivity between vertex subsets | 2014-11-19 | Paper |
Online removable knapsack problem under convex function | 2014-06-06 | Paper |
On discounted approximations of undiscounted stochastic games and Markov decision processes with limited randomness | 2014-05-14 | Paper |
Randomized Algorithms for Removable Online Knapsack Problems | 2014-04-03 | Paper |
Robust Matchings and Matroid Intersections | 2014-01-21 | Paper |
Robust Independence Systems | 2014-01-21 | Paper |
Unit Cost Buyback Problem | 2014-01-14 | Paper |
Nash equilibria with minimum potential in undirected broadcast games | 2014-01-09 | Paper |
Derandomizing the HSSW algorithm for 3-SAT | 2013-11-11 | Paper |
On canonical forms for zero-sum stochastic mean payoff games | 2013-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q2845529 | 2013-08-30 | Paper |
A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions | 2013-08-06 | Paper |
On randomized fictitious play for approximating saddle points over convex sets | 2013-06-11 | Paper |
Sparse Linear Complementarity Problems | 2013-06-07 | Paper |
Computing knapsack solutions with cardinality robustness | 2012-12-28 | Paper |
Caching is hard -- even in the fault model | 2012-12-06 | Paper |
Online Knapsack Problem with Removal Cost | 2012-09-25 | Paper |
Trichotomy for integer linear systems based on their sign patterns | 2012-08-23 | Paper |
Nash Equilibria with Minimum Potential in Undirected Broadcast Games | 2012-06-08 | Paper |
FINDING SIMPLICES CONTAINING THE ORIGIN IN TWO AND THREE DIMENSIONS | 2012-04-19 | Paper |
On Nash equilibria and improvement cycles in pure positional strategies for chess-like and backgammon-like \(n\)-person games | 2012-04-13 | Paper |
Online removable knapsack with limited cuts | 2012-04-03 | Paper |
Computing Knapsack Solutions with Cardinality Robustness | 2011-12-16 | Paper |
On the readability of monotone Boolean formulae | 2011-12-15 | Paper |
Logical analysis of data: classification with justification | 2011-11-17 | Paper |
Nash-solvable two-person symmetric cycle game forms | 2011-10-27 | Paper |
An exact algorithm for the Boolean connectivity problem for \(k\)-CNF | 2011-09-12 | Paper |
Derandomizing the HSSW algorithm for 3-SAT | 2011-08-17 | Paper |
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes | 2011-07-06 | Paper |
Robust Independence Systems | 2011-07-06 | Paper |
Left-to-Right Multiplication for Monotone Boolean Dualization | 2011-04-04 | Paper |
Nonadaptive broadcasting in trees | 2011-03-16 | Paper |
On the Boolean connectivity problem for Horn relations | 2010-11-25 | Paper |
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF | 2010-09-29 | Paper |
Caching Is Hard – Even in the Fault Model | 2010-09-06 | Paper |
Robust Matchings and Matroid Intersections | 2010-09-06 | Paper |
New results on monotone dualization and generating hypergraph transversals | 2010-08-05 | Paper |
A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with Perfect Information | 2010-06-22 | Paper |
Minimum Transversals in Posimodular Systems | 2010-06-01 | Paper |
POSI-MODULAR SYSTEMS WITH MODULOTONE REQUIREMENTS UNDER PERMUTATION CONSTRAINTS | 2010-05-19 | Paper |
Online Minimization Knapsack Problem | 2010-05-11 | Paper |
Acyclic, or totally tight, two-person game forms: characterization and main properties | 2010-04-27 | Paper |
On effectivity functions of game forms | 2010-03-10 | Paper |
Online Knapsack Problems with Limited Cuts | 2009-12-17 | Paper |
Posi-modular Systems with Modulotone Requirements under Permutation Constraints | 2009-12-17 | Paper |
Minimal and locally minimal games and game forms | 2009-12-10 | Paper |
Output-Sensitive Algorithms for Enumerating Minimal Transversals for Some Geometric Hypergraphs | 2009-10-29 | Paper |
On the Readability of Monotone Boolean Formulae | 2009-07-23 | Paper |
A Fast and Simple Parallel Algorithm for the Monotone Duality Problem | 2009-07-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q3622253 | 2009-04-28 | Paper |
On the fractional chromatic number of monotone self-dual Boolean functions | 2009-04-09 | Paper |
On the Boolean Connectivity Problem for Horn Relations | 2009-03-10 | Paper |
On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions | 2009-03-10 | Paper |
Generating Minimal k-Vertex Connected Spanning Subgraphs | 2009-03-06 | Paper |
Deductive Inference for the Interiors and Exteriors of Horn Theories | 2009-01-29 | Paper |
On computing all abductive explanations from a propositional Horn theory | 2008-12-21 | Paper |
Minimum Cost Source Location Problems with Flow Requirements | 2008-09-18 | Paper |
Minimizing a monotone concave function with laminar covering constraints | 2008-09-10 | Paper |
Computational aspects of monotone dualization: a brief survey | 2008-09-10 | Paper |
On Berge Multiplication for Monotone Boolean Dualization | 2008-08-28 | Paper |
Generating cut conjunctions in graphs and related problems | 2008-07-01 | Paper |
A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames | 2008-06-05 | Paper |
ENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS(<Special Issue>the 50th Anniversary of the Operations Research Society of Japan) | 2008-04-29 | Paper |
Minimum cost source location problems with flow requirements | 2008-04-23 | Paper |
Enumerating Spanning and Connected Subsets in Graphs and Matroids | 2008-03-11 | Paper |
Minimum Transversals in Posi-modular Systems | 2008-03-11 | Paper |
Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data | 2007-07-16 | Paper |
Computer Science Logic | 2007-06-21 | Paper |
Enumerating disjunctions and conjunctions of paths and cuts in reliability theory | 2007-02-19 | Paper |
How to collect balls moving in the Euclidean plane | 2007-01-09 | Paper |
Minimum edge ranking spanning trees of split graphs | 2007-01-09 | Paper |
An \(O(n \log^2 n)\) algorithm for the optimal sink location problem in dynamic tree networks | 2007-01-09 | Paper |
Algorithms and Computation | 2006-11-14 | Paper |
Algorithms and Computation | 2006-11-14 | Paper |
A TREE PARTITIONING PROBLEM ARISING FROM AN EVACUATION PROBLEM IN TREE DYNAMIC NETWORKS | 2006-06-14 | Paper |
On the Complexity of Some Enumeration Problems for Matroids | 2006-06-01 | Paper |
Algorithm Theory - SWAT 2004 | 2005-09-07 | Paper |
Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4673411 | 2005-04-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4664045 | 2005-04-05 | Paper |
Dual-bounded generating problems: Weighted transversals of a hypergraph | 2004-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4736834 | 2004-08-11 | Paper |
Polybasic polyhedra: Structure of polyhedra with edge vectors of support size at most 2 | 2004-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449202 | 2004-02-08 | Paper |
Interior and exterior functions of positive Boolean functions. | 2003-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4427863 | 2003-09-14 | Paper |
On maximal frequent and minimal infrequent sets in binary matrices | 2003-08-21 | Paper |
Finding essential attributes from binary data | 2003-08-21 | Paper |
Variations on extending partially defined Boolean functions with missing bits. | 2003-08-13 | Paper |
New Results on Monotone Dualization and Generating Hypergraph Transversals | 2003-06-19 | Paper |
Inferring minimal functional dependencies in Horn and q-Horn theories | 2003-06-09 | Paper |
Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms | 2003-03-09 | Paper |
Recognition and dualization of disguised bidual Horn functions. | 2003-01-21 | Paper |
A simple matching algorithm for regular bipartite graphs. | 2003-01-21 | Paper |
Logical analysis of data with decomposable structures. | 2003-01-21 | Paper |
Max- and Min-neighborhood monopolies | 2002-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536430 | 2002-11-25 | Paper |
A linear time algorithm for recognizing regular Boolean functions | 2002-09-30 | Paper |
Dual-Bounded Generating Problems: All Minimal Integer Solutions for a Monotone System of Linear Inequalities | 2002-09-29 | Paper |
Locating Sources to Meet Flow Demands in Undirected Networks | 2002-09-11 | Paper |
Logical analysis of binary data with missing bits | 2002-07-24 | Paper |
Computing intersections of Horn theories for reasoning with models | 2002-07-24 | Paper |
On functional dependencies in \(q\)-Horn theories | 2002-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q2766849 | 2002-07-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4535012 | 2002-06-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4331290 | 2002-05-15 | Paper |
Disjunctions of Horn Theories and Their Cores | 2002-04-23 | Paper |
Decision lists and related Boolean functions | 2002-03-03 | Paper |
Transformations on Regular Nondominated Coteries and Their Applications | 2001-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2754179 | 2001-11-11 | Paper |
On the difference of Horn theories | 2001-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q2741531 | 2001-09-24 | Paper |
On Minimum Edge Ranking Spanning Trees | 2001-07-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2721990 | 2001-07-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2722008 | 2001-07-11 | Paper |
Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph | 2001-06-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4511231 | 2001-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4525718 | 2001-01-24 | Paper |
Minimum self-dual decompositions of positive dual-minor Boolean functions | 2000-03-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4937169 | 2000-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4937207 | 2000-02-03 | Paper |
Bidual Horn functions and extensions | 2000-01-17 | Paper |
Inner-core and outer-core functions of partially defined Boolean functions | 2000-01-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4703853 | 1999-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4251064 | 1999-11-07 | Paper |
Horn Extensions of a Partially Defined Boolean Function | 1999-10-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4249522 | 1999-06-17 | Paper |
Double Horn functions | 1999-05-16 | Paper |
Functional dependencies in Horn theories | 1999-04-28 | Paper |
Error-free and best-fit extensions of partially defined Boolean functions | 1998-07-27 | Paper |
A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions | 1998-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4370222 | 1998-05-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4370203 | 1998-04-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4381405 | 1998-04-01 | Paper |
The Maximum Latency and Identification of Positive Boolean Functions | 1998-02-10 | Paper |
Positive and Horn decomposability of partially defined Boolean functions | 1997-10-29 | Paper |
Interior and exterior functions of Boolean functions | 1997-01-27 | Paper |