The Max-Atom Problem and Its Relevance

DOI10.1007/978-3-540-89439-1_4zbMath1182.68219OpenAlexW1584515386MaRDI QIDQ5505542

Robert Nieuwenhuis, Marc Bezem, Enric Rodríguez-Carbonell

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_4

zbMATH Keywords

hypergraphsmax-plus algebraconstraints

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism ⋮ Tropically convex constraint satisfaction ⋮ Tropical Fourier–Motzkin elimination, with an application to real-time verification ⋮ Tropical linear-fractional programming and parametric mean payoff games ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ Max-Closed Semilinear Constraint Satisfaction ⋮ Tropical polar cones, hypergraph transversals, and mean payoff games ⋮ Mean-payoff games and propositional proofs ⋮ Hard problems in max-algebra, control theory, hypergraphs and other areas ⋮ Tractable combinations of theories via sampling ⋮ Extremals of the supereigenvector cone in max algebra: a combinatorial description