• PaQuBE

  • Referenced in 5 articles [sw06998]
  • support advanced knowledge sharing in which solution cubes as well as conflict clauses...
  • KIMA

  • Referenced in 3 articles [sw13347]
  • case-study in materials science. Resolving conflicts between different measurements of a property ... knowledge bases with property measurements, computer support for the task of conflict resolution has become...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • conflict. A feature of the design is that acquiring the state knowledge does not require ... MIRROR’s simple to implement conflict resolution mechanism works almost as well as more sophisticated...
  • RP-DeLP

  • Referenced in 4 articles [sw19192]
  • formalizing a notion of collective (non-binary) conflict among arguments. The recursive semantics for warranted ... that an output (or extension) of a knowledge base is a pair consisting ... warranted formulas do not generate any collective conflict, blocked conclusions do. Formulas that are neither ... attaching levels of preference to defeasible knowledge items and by providing a level-wise definition...
  • NOrec

  • Referenced in 8 articles [sw24487]
  • with existing data structure layouts; no false conflicts due to hash collisions; compatibility with both ... avoidance mechanisms. To the best of our knowledge, no extant STM system combines this...
  • QMiraXT

  • Referenced in 4 articles [sw11456]
  • erste moderne parallele QBF Solver, der knowledge sharing unterstützt. Mit ihm wurden viele Beschleunigungstechniken moderner ... eingeführt. Dieses Tool unterstützt fortgeschrittene Techniken zur conflict und solution analysis sowie Lernen von Konfliktklauseln...
  • PaMira

  • Referenced in 3 articles [sw41089]
  • PaMira - A parallel SAT solver with knowledge sharing. In this paper we describe PaMira ... implemented. PaMira also employs the exchange of conflict clauses between the processes to guide...
  • MOBY

  • Referenced in 1 article [sw31032]
  • constructed models. The simulator contains a sophisticated conflict resolution component, which allows to reduce ... behaviours of a model by using specific knowledge about the system. The tool...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SATLIB

  • Referenced in 59 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...