Testable implications of general equilibrium models: An integer programming approach

► Empirical application of general equilibrium models. ► Focus on the revealed preference restrictions on the equilibrium manifold. ► Verifying whether the data is a competitive equilibrium is an NP-complete problem. ► Applications of mixed integer programming techniques.