Implication Graph Compression inside the SMT Solver iSAT3.
Karsten ScheiblerBernd BeckerPublished in: MBMV (2014)
Keyphrases
- image compression
- random walk
- data compression
- graph representation
- weighted graph
- graph theory
- directed graph
- graph structure
- structured data
- directed acyclic graph
- graph construction
- compression rate
- compression scheme
- np hard
- compression algorithm
- connected components
- bipartite graph
- coding scheme
- image coding
- image quality