PPLite: Zero-overhead encoding of NNC polyhedra
Anna Becchi, Enea Zaffanella
Topics & Concepts
PolyhedronRepresentation (politics)Overhead (engineering)Encoding (memory)Domain (mathematical analysis)Dimension (graph theory)Computer scienceTheoretical computer scienceDual polyhedronAlgorithmMathematicsPure mathematicsCombinatoricsProgramming languageArtificial intelligenceMathematical analysisPolitical sciencePoliticsLawParallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in Verification