Login / Signup

Encoding Max-CSP into Partial Max-SAT.

Josep ArgelichAlba CabiscolInês LynceFelip Manyà
Published in: ISMVL (2008)
Keyphrases