Voltar
Capítulo de livro
BIBTEX RIS

Local search strategies for satisfiability testing

1996; Linguagem: Inglês

10.1090/dimacs/026/25

ISSN

2472-4793

Autores

Bart Selman, Henry Kautz, Bram Cohen,

Tópico(s)

Data Quality and Management

Referência(s)