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

Ravi Mangal Xin Zhang Aditya V. Nori Mayur Naik

Published in: SAT (2015)

Keyphrases

main contribution
combinatorial optimization
neural network
theoretical framework
information retrieval
conceptual framework
randomly generated