Sign in
Solving Two Problems in General Topology Via Types.
Adam Grabowski
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