Structural properties and recognition of restricted and strongly unimodular matrices
Mathematical Programming: Series A and B
Journal of Complexity
Extended Horn sets in propositional logic
Journal of the ACM (JACM)
Structural properties and decomposition of linear balanced matrices
Mathematical Programming: Series A and B
Testing balancedness and perfection of linear matrices
Mathematical Programming: Series A and B
On Exact Selection of Minimally Unsatisfiable Subformulae
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |