• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

Ravi MangalXin ZhangAditya V. NoriMayur Naik
Published in: SAT (2015)
Keyphrases
  • main contribution
  • combinatorial optimization
  • neural network
  • theoretical framework
  • information retrieval
  • conceptual framework
  • randomly generated