Improved exact algorithms for mildly sparse instances of Max SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama. Improved exact algorithms for mildly sparse instances of Max SAT. Theoretical Computer Science, 697:58-68, 2017. [doi]

This author has not been identified. Look up 'Takayuki Sakai' in GoogleThis author has not been identified. Look up 'Kazuhisa Seto' in GoogleThis author has not been identified. Look up 'Suguru Tamaki' in GoogleThis author has not been identified. Look up 'Junichi Teruyama' in Google

runs on WebDSL