Pages that link to "Item:Q5505542"

The following pages link to The Max-Atom Problem and Its Relevance (Q5505542):

Displaying 10 items.

• Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
• Tropical polar cones, hypergraph transversals, and mean payoff games (Q550656) (← links)
• Mean-payoff games and propositional proofs (Q716324) (← links)
• Hard problems in max-algebra, control theory, hypergraphs and other areas (Q990130) (← links)
• Tropically convex constraint satisfaction (Q1635805) (← links)
• Tractable combinations of theories via sampling (Q2055788) (← links)
• Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism (Q2123048) (← links)
• Extremals of the supereigenvector cone in max algebra: a combinatorial description (Q2348014) (← links)
• Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
• Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)