• SATzilla

  • Referenced in 86 articles [sw06281]
  • that use so-called empirical hardness models to choose among their constituent solvers. This approach...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • main features are: learning and backjumping on hard clauses; resolution-based and subtraction-based lower ... with the two-watched literals scheme. Our empirical evaluation on a wide set of optimization...
  • MUP

  • Referenced in 15 articles [sw11910]
  • empirical evaluation of the algorithm, highlighting its efficiency on a set of hard problems...
  • RRR

  • Referenced in 4 articles [sw34784]
  • crystallography. Empirically, the runtimes grow exponentially with respect to a new hardness parameter: the sparsity...
  • LITMUS

  • Referenced in 4 articles [sw09391]
  • called LITMUS, which we have developed for empirically evaluating multiprocessor real-time scheduling algorithms ... schedulability (with real overheads considered) assuming either hard- or soft-real-time constraints ... global real-time scheduling approaches using empirical data...
  • NeMa

  • Referenced in 4 articles [sw18899]
  • problem is NP-hard, and also hard to approximate. (3) We propose a heuristic algorithm ... efficiency of our method. (4) We empirically verify that NeMa is both effective and efficient...
  • TorchLight

  • Referenced in 4 articles [sw13534]
  • gives strong success guarantees in 8 domains. Empirically, its analysis exhibits strong performance ... TorchLight can distinguish “easy” domains from “hard” ones. By summarizing structural reasons for analysis failure...
  • RIATA-HGT

  • Referenced in 5 articles [sw17371]
  • gene tree is computationally very hard (NP-hard). Efficient algorithms exist for solving restricted cases ... analyzing incongruence among species and gene trees. Empirical performance of the method on synthetic...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • rate of convergence, it is notoriously hard to get correct. In this paper, we present ... polynomial in the size of the operands. Empirical evaluation indicates that the performance of Boxes...
  • sccf

  • Referenced in 1 article [sw37297]
  • functions. Applications of this problem include clipped empirical risk minimization and clipped control. While ... clipped convex functions is NP-hard, we present some heuristics for approximately solving instances...
  • Quartets MaxCut

  • Referenced in 6 articles [sw29616]
  • significant fraction of errors. We show empirically that conflicts in the inputs are handled satisfactorily ... quartet trees the problem is NP-hard, as opposed to the problem for triples where...
  • CCEHC

  • Referenced in 3 articles [sw36050]
  • hard clauses, a weighting scheme for hard clauses, and a biased random walk component. Extensive ... CCEHC might be beneficial in practice. Also, empirical analyses confirm the effectiveness of each component...
  • SubMAP

  • Referenced in 3 articles [sw25790]
  • prove that this maximization is NP-hard by a reduction from the maximum weight independent ... accuracy and performance on real datasets. Our empirical results demonstrate that SubMAP can identify biologically...
  • ARJA

  • Referenced in 1 article [sw25891]
  • existing statements. We conduct a large-scale empirical evaluation of ARJA along with its variants ... several real multi-location bugs that are hard to be repaired by most...
  • WebDNN

  • Referenced in 1 article [sw27147]
  • applications to end-users is very hard. WebDNN solves this problem by using web browser ... WebGPU to achieve zero-overhead execution. Empirical evaluations showed that it achieved more than 200x...
  • PIndroid

  • Referenced in 1 article [sw33517]
  • techniques used by the malware make them hard to detect with signature based methods ... accuracy (which is best reported to date). Empirical results suggest that the proposed framework...
  • WhatIF

  • Referenced in 1 article [sw25943]
  • model-dependence, which makes this problem hard to detect. WhatIf offers easy-to-apply methods ... modeling choices that are not based on empirical evidence, no matter what method of inference...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • cdd

  • Referenced in 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • FLINT

  • Referenced in 50 articles [sw00297]
  • Fast library for number theory: an introduction. We...