• STEWord

  • Referenced in 2 articles [sw20235]
  • Symbolic trajectory evaluation for word-level verification: theory and implementation. Symbolic trajectory evaluation ... designs. Existing implementations of STE reason at the level of bits, allowing signals ... derived automatically from register-transfer level descriptions, and how a model checker for the general ... discuss several implementation issues, including how word-level circuits can be symbolically simulated using...
  • KNEWS

  • Referenced in 1 article [sw36070]
  • triples or XML, including the word-level alignment with the surface form, as well ... different applications for information extraction and automatic reasoning...
  • CharacterBERT

  • Referenced in 1 article [sw39137]
  • CharacterBERT: Reconciling ELMo and BERT for Word-Level Open-Vocabulary Representations From Characters ... characters and the efficiency of full words, using predefined wordpiece vocabularies from the general domain ... focus from the word level to the subword level, making the models conceptually more complex ... same time producing robust, word-level and open-vocabulary representations...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SCIP

  • Referenced in 508 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • BLAST

  • Referenced in 128 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • Yices

  • Referenced in 148 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • Why3

  • Referenced in 132 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • CUDD

  • Referenced in 152 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • LIBSVM

  • Referenced in 1155 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • z3

  • Referenced in 562 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • KLEE

  • Referenced in 45 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • MiniZinc

  • Referenced in 80 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Chaff

  • Referenced in 579 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • CPAchecker

  • Referenced in 52 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis...
  • Boogie

  • Referenced in 120 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • CVC4

  • Referenced in 116 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...
  • Proteus

  • Referenced in 9 articles [sw10080]
  • Proteus: a hierarchical portfolio of solvers and transformations...
  • C4.5

  • Referenced in 1148 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...