• CCASat

  • Referenced in 13 articles [sw12924]
  • Boolean satisfiability with configuration checking and subscore. This paper presents and analyzes two new efficient ... work proposes a new variable property called subscore, which is utilized to break ties ... analyses on the CC strategy and the subscore property, and show interesting results on these ... with smaller $ k$, while the subscore notion is not suitable for solving random...
  • Lord-Wingersky

  • Referenced in 13 articles [sw41250]
  • across adjacent grades, (b) identification of noteworthy subscores for reporting, and (c) detection of aberrant...
  • subscore

  • Referenced in 0 articles [sw16405]
  • package subscore. Functions for computing test subscores using methods applicable to classical test theory ... scores. This package enables two sets of subscoring methods within the framework ... augmentation method, and (2) Haberman’s three subscoring methods. The package also includes the function ... which are used to examine whether test subscores are of added value...
  • MiniSat

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

  • Referenced in 99 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It...
  • NuMVC

  • Referenced in 13 articles [sw08219]
  • NuMVC: an efficient local search algorithm for minimum...
  • ppfolio

  • Referenced in 7 articles [sw11461]
  • The two versions of ppfolio (sequential and parallel...
  • flexMIRT

  • Referenced in 9 articles [sw13413]
  • flexMIRT Version 2.0: Flexible multilevel item analysis and...