| Publication | Date of Publication | Type |
|---|
Parallelized hybrid optimization methods for nonsmooth problems using NOMAD and linesearch
Computational and Applied Mathematics | 2018-11-05 | Paper |
| The construction of mathematics. The human mind's greatest achievement | 2018-02-26 | Paper |
Implementation of a unimodularity test
Mathematical Programming Computation | 2013-04-12 | Paper |
A MINSAT approach for learning in logic domains
INFORMS Journal on Computing | 2012-05-30 | Paper |
| scientific article; zbMATH DE number 5613969 (Why is no real title available?) | 2009-10-12 | Paper |
An effective algorithm for the futile questioning problem
Journal of Automated Reasoning | 2006-01-23 | Paper |
| Design of Logic‐based Intelligent Systems | 2004-11-12 | Paper |
Learning in a compiler for MINSAT algorithms
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Learning to ask relevant questions
Artificial Intelligence | 2002-07-24 | Paper |
| scientific article; zbMATH DE number 1380573 (Why is no real title available?) | 1999-12-19 | Paper |
A Petersen on a pentagon
Journal of Combinatorial Theory. Series B | 1999-06-21 | Paper |
From Totally Unimodular to Balanced 0, ±1 Matrices: A Family of Integer Polytopes
Mathematics of Operations Research | 1994-10-31 | Paper |
A decomposition theory for matroids. VI: Almost regular matroids
Journal of Combinatorial Theory. Series B | 1993-03-10 | Paper |
A decomposition theory for matroids. VII: Analysis of minimal violation matrices
Journal of Combinatorial Theory. Series B | 1993-03-10 | Paper |
| scientific article; zbMATH DE number 53949 (Why is no real title available?) | 1992-09-18 | Paper |
Addendum to ``A decomposition of the matroids with the max-flow min-cut property''
Discrete Applied Mathematics | 1992-06-25 | Paper |
A decomposition theory for matroids. V: Testing of matrix total unimodularity
Journal of Combinatorial Theory. Series B | 1990-01-01 | Paper |
Decomposition and optimization over cycles in binary matroids
Journal of Combinatorial Theory. Series B | 1989-01-01 | Paper |
Master polytopes for cycles of binary matroids
Linear Algebra and its Applications | 1989-01-01 | Paper |
On the delta-wye reduction for planar graphs
Journal of Graph Theory | 1989-01-01 | Paper |
A decomposition theory for matroids. IV: Decomposition of graphs
Journal of Combinatorial Theory. Series B | 1988-01-01 | Paper |
On matroid separations of graphs
Journal of Graph Theory | 1987-01-01 | Paper |
Max-Flow Min-Cut Matroids: Polynomial Testing and Polynomial Algorithms for Maximum Flow and Shortest Routes
Mathematics of Operations Research | 1987-01-01 | Paper |
A decomposition theory for matroids. III. Decomposition conditions
Journal of Combinatorial Theory. Series B | 1986-01-01 | Paper |
A decomposition of the matroids with the max-flow min-cut property
Discrete Applied Mathematics | 1986-01-01 | Paper |
A decomposition theory for matroids. I: General results
Journal of Combinatorial Theory. Series B | 1985-01-01 | Paper |
A decomposition theory for matroids. II. Minimal violation matroids
Journal of Combinatorial Theory. Series B | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3885921 (Why is no real title available?) | 1984-01-01 | Paper |
Partial matroid representations
European Journal of Combinatorics | 1984-01-01 | Paper |
Alpha-balanced graphs and matrices and GF(3)-representability of matroids
Journal of Combinatorial Theory. Series B | 1982-01-01 | Paper |
On the efficiency of representability tests for matroids
European Journal of Combinatorics | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3728282 (Why is no real title available?) | 1981-01-01 | Paper |
On Whitney's 2‐isomorphism theorem for graphs
Journal of Graph Theory | 1980-01-01 | Paper |
Complement total unimodularity
Linear Algebra and its Applications | 1980-01-01 | Paper |
Single Commodity Representation of Multicommodity Networks
SIAM Journal on Algebraic Discrete Methods | 1980-01-01 | Paper |
Minimal Forbidden Subgraphs of Unimodular Multicommodity Networks
Mathematics of Operations Research | 1979-01-01 | Paper |
Algebraic Characterizations of Unimodular Matrices
SIAM Journal on Applied Mathematics | 1978-01-01 | Paper |
Local unimodularity of matrix-vector pairs
Linear Algebra and its Applications | 1978-01-01 | Paper |
Optimal flows in nonlinear gain networks
Networks | 1978-01-01 | Paper |
On Max Flows with Gains and Pure Min-Cost Flows
SIAM Journal on Applied Mathematics | 1977-01-01 | Paper |
Unimodular matrices of flow problems with additional constraints
Networks | 1977-01-01 | Paper |
An efficient scaling procedure for gain networks
Networks | 1976-01-01 | Paper |
On multipopulation queuing systems with first-come first-served discipline
Naval Research Logistics Quarterly | 1976-01-01 | Paper |
Note on Finite Convergence of Exterior Penalty Functions
Management Science | 1975-01-01 | Paper |
