Login / Signup

Component Refinement and CSC Solving for STG Decomposition.

Mark SchäferWalter Vogler
Published in: FoSSaCS (2005)
Keyphrases
  • special case
  • decomposition method
  • neural network
  • machine learning
  • search engine
  • combinatorial optimization
  • decomposition methods
  • nonlinear equations