GRASP: A Search Algorithm for Propositional Satisfiability

AuthID
P-001-4DS
2
Author(s)
Sakallah, KA
Tipo de Documento
Article
Year published
1999
Publicado
in IEEE TRANSACTIONS ON COMPUTERS, ISSN: 0018-9340
Volume: 48, Número: 5, Páginas: 506-521 (16)
Indexing
Publication Identifiers
DBLP: journals/tc/Marques-SilvaS99
SCOPUS: 2-s2.0-0032680865
Unpaywall: 10.1109/12.769433
Wos: WOS:000080510800004
Source Identifiers
ISSN: 0018-9340
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.