Search Results for '15sat'

15sat published presentations and documents on DocSlides.

VOLT: A Lazy Grounding

by genevieve

Framework for . Solving . Very . Large . MaxSAT. ...