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

References in zbMATH (referenced in 25 articles )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Aichholzer, Oswin; Kynčl, Jan; Scheucher, Manfred; Vogtenhuber, Birgit; Valtr, Pavel: On crossing-families in planar point sets (2022)
  2. Alam, Jawaherul Md.; Bekos, Michael A.; Dujmović, Vida; Gronemann, Martin; Kaufmann, Michael; Pupyrev, Sergey: On dispersable book embeddings (2021)
  3. Ansótegui, Carlos; Ojeda, Jesús; Pacheco, Antonio; Pon, Josep; Salvia, Josep M.; Torres, Eduard: OptiLog: a framework for SAT-based systems (2021)
  4. Bjørner, Nikolaj; Levatich, Maxwell; Lopes, Nuno P.; Rybalchenko, Andrey; Vuppalapati, Chandrasekar: Supercharging plant configurations using Z3 (2021)
  5. Cai, Shaowei; Zhang, Xindi: Deep cooperation of CDCL and local search for SAT (2021)
  6. Fleury, Mathias; Biere, Armin: Efficient all-UIP learned clause minimization (2021)
  7. Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin: SAT competition 2020 (2021)
  8. Giráldez-Cru, Jesús; Levy, Jordi: Popularity-similarity random SAT formulas (2021)
  9. Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina: New ways to multiply (3 \times3)-matrices (2021)
  10. Hossain, Akash; Laroussinie, François: (\mathsfQCTL) model-checking with (\mathsfQBF) solvers (2021)
  11. Manthey, Norbert: The \textscMergeSatsolver (2021)
  12. Nawrocki, Wojciech; Liu, Zhenjun; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin: XOR local search for Boolean Brent equations (2021)
  13. Reichl, Franz-Xaver; Slivovsky, Friedrich; Szeider, Stefan: Certified DQBF solving by definition extraction (2021)
  14. Schreiber, Dominik; Sanders, Peter: Scalable SAT solving in the cloud (2021)
  15. Trimoska, Monika; Dequen, Gilles; Ionica, Sorina: Logical cryptanalysis with WDSat (2021)
  16. Heisinger, Maximilian; Fleury, Mathias; Biere, Armin: Distributed cube and conquer with Paracooba (2020)
  17. Kochemazov, Stepan: Improving implementation of SAT competitions 2017--2019 winners (2020)
  18. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  19. Otpuschennikov, Ilya V.; Semenov, Alexander A.: Using merging variables-based local search to solve special variants of MaxSAT problem (2020)
  20. Pashkovich, Kanstantsin; Poirrier, Laurent: Three-dimensional stable matching with cyclic preferences (2020)

1 2 next