A
Menu
October 01, 1996 book-chapter

Local search strategies for satisfiability testing

DIMACS series in discrete mathematics and theoretical computer science

DOI: 10.1090/dimacs/026/25 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 520

1 result

References 0