Solving Two Problems in General Topology Via Types.

Published in: TYPES (2004)

Keyphrases

solving problems
special case
solving complex
specific problems
data sets
combinatorial optimization
problems involving
combinatorial optimisation
sparse linear systems
data mining
integer program
boolean formula