DMCA

Solving Max-SAT as weighted CSP (2003)

Cached

Download Links

by Simon De Givry , Javier Larrosa , Pedro Meseguer , Thomas Schiex
Citations:46 - 12 self