Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables - researchr publication

researchr

You are not signed in
Sign in
Sign up

Endre Boros, Yves Crama, Elisabeth Rodríguez-Heck. Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018. 2018. [doi]

Abstract is missing.

runs on WebDSL