About us
Pricing
Contact
Subscribe
Journals
Articles
Research Areas
Publishers
Trends
World Map
Compare
Site Map
J
João Marques‐Silva
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
ORCID https://orcid.org/0000-0002-6632-3086
h-index
—
Publications
—
Citations
—
i10-index
—
Impact (2-yr)
—
Top Publications
GRASP: a search algorithm for propositional satisfiability
IEEE Transactions on Computers
1999
1,346 citations
First author
Corresponding
João Marques‐Silva · Scinovex
