Hard problems in max-algebra, control theory, hypergraphs and other areas

Authors:
Marc Bezem;Robert Nieuwenhuis;Enric Rodríguez-Carbonell
Affiliations:
Department of Informatics, University of Bergen, Postboks 7800, N-5020 Bergen, Norway;Technical University of Catalonia (UPC), Barcelona, Jordi Girona 1-3, 08034 Barcelona, Spain;Technical University of Catalonia (UPC), Barcelona, Jordi Girona 1-3, 08034 Barcelona, Spain
Venue:
Information Processing Letters
Year:
2010

Citing 6
Cited 2

Directed hypergraphs and applications

Discrete Applied Mathematics - Special issue: combinatorial structures and algorithms
On Model-Checking for Fragments of µ-Calculus

CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Scheduling with AND/OR Precedence Constraints

SIAM Journal on Computing
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)

Journal of the ACM (JACM)
Note: Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra

Discrete Applied Mathematics
Communication: A strongly polynomial algorithm for solving two-sided linear systems in max-algebra

Discrete Applied Mathematics

Tropical linear-fractional programming and parametric mean payoff games

Journal of Symbolic Computation
Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants

Automated Reasoning and Mathematics

Quantified Score

Hi-index	0.89

Visualization

Abstract