Constraint Solver
method
ID: constraintsolver
Related Papers
A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices
Constructing an encoding of a concept lat- tice using short bit vectors allows for ef- ficient computation of join operations on the lattice. Join is the central operation any unification-based …...