More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 results

  • www.starexec.org
  • 7
StarExec is a cross community logic solving service developed at the University of Iowa under the direction of principal investigators Aaron Stump (Iowa), Geoff Sutcliffe (University of Miami), and Cesare Tinelli (Iowa)... StarExec is supported by a..
Relevance: 21.238232
  • sat2018.azurewebsites.net
  • 1
  • 33
SAT 2018 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability. Specifically, SAT 2018 invites scientific contributions addressing different aspects..
Relevance: 9.514955
  • cadeinc.org
  • 3
  • 37
CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1975. Previous CADEs were mostly biennial, and annual conferences started in 1996. Since 2001 CADE has..
Relevance: 8.17725