Declarative Local Search for Predicate Logic.

Tu-San Pham, Jo Devriendt, Patrick De Causmaecker

Browse the full LPNMR paper archive.