Backbone Guided Dynamic Local Search for Propositional Satisfiability (2006)

Cached

Download Links

by Valnir Ferreira, Jr.