Jordi Planes

ORCID iD
https://orcid.org/0000-0003-1861-9736
  • Keywords
  • Show details Hide details
sat, maxsat, boolean optimization, solver

Sources:
Jordi Planes (2013-02-15)

  • Websites
  • Show details Hide details
Home page

Sources:
Jordi Planes (2014-07-23)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 8928384200

Sources:
Scopus - Elsevier (2013-12-18)

ResearcherID: B-5416-2013

Sources:
ResearcherID (2017-03-23)

Biography

Lecturer at Universitat de Lleida

Record last modified {{lastModifiedDate}}