Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

CaDiCaL

CaDiCaL Simplified Satisfiability Solver: The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • variable neighborhood search
  • ((1+1))-evolutionary algorithm
  • pseudo-Boolean optimization
  • covering systems
  • conflict-driven clause learning
  • redundant literal
  • clause vivification
  • local search
  • symmetry breaking
  • SAT solving
  • Boolean satisfiability problem
  • satisfiability

  • URL: fmv.jku.at/cadical/
  • Code
  • InternetArchive
  • Authors: Biere, A.

  • Add information on this software.


  • Related software:
  • Treengeling
  • YalSAT
  • Plingeling
  • Lingeling
  • MiniSat
  • Glucose
  • MapleCOMSPS
  • Syrup
  • Transalg
  • DRAT-trim
  • Show more...
  • Chaff
  • LLBMC
  • COMiniSatPS
  • satUZK
  • GitHub
  • z3
  • PrecoSAT
  • MapleCOMSPS_LRB
  • Trivium
  • URSA
  • Show less...

References in zbMATH (referenced in 5 articles )

Showing results 1 to 5 of 5.
y Sorted by year (citations)

  1. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  2. Semenov, Alexander; Otpuschennikov, Ilya; Gribanova, Irina; Zaikin, Oleg; Kochemazov, Stepan: Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems (2020)
  3. Kauers, Manuel; Seidl, Martina; Zeilberger, Doron: On the maximal minimal cube lengths in distinct DNF tautologies (2019)
  4. Kiesl, Benjamin; Heule, Marijn J. H.; Biere, Armin: Truth assignments as conditional autarkies (2019)
  5. Semenov, Alexander A.: Merging variables: one technique of search in pseudo-Boolean optimization (2019)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 03 Mathematical logic
      • 05 Combinatorics
      • 68 Computer science
      • 90 Optimization

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy