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