More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-5 of 5 results

  • www.satisfiability.org
  • 1
  • 28
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer..
Relevance: 9.107338
  • www.lpar.net
  • 1
  • 32
LPAR is the string "(" representing the left parenthesis in some dialects of LISP... LPAR is a series of conferences intended to bring Computer Science Logic to all parts of this large world... LPAR is a shipological conference, as expressed by one..
Relevance: 8.520422
  • 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: 8.3067665
  • atva-conference.org
  • 1
  • 38
The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the..
Relevance: 7.354705
  • www.ftscs.org
  • 71
The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and..
Relevance: 4.6147676