GRASP: A Search Algorithm for Propositional Satisfiability

AuthID
P-001-4DS
2
Author(s)
Sakallah, KA
Document Type
Article
Year published
1999
Published
in IEEE TRANSACTIONS ON COMPUTERS, ISSN: 0018-9340
Volume: 48, Issue: 5, Pages: 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.