References in zbMATH (referenced in 75 articles )

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

1 2 3 4 next

  1. Alam, Jawaherul Md.; Bekos, Michael A.; Dujmović, Vida; Gronemann, Martin; Kaufmann, Michael; Pupyrev, Sergey: On dispersable book embeddings (2021)
  2. Ansótegui, Carlos; Ojeda, Jesús; Pacheco, Antonio; Pon, Josep; Salvia, Josep M.; Torres, Eduard: OptiLog: a framework for SAT-based systems (2021)
  3. Bonet, Maria Luisa; Buss, Sam; Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: Propositional proof systems based on maximum satisfiability (2021)
  4. Fleury, Mathias; Biere, Armin: Efficient all-UIP learned clause minimization (2021)
  5. Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin: SAT competition 2020 (2021)
  6. Giráldez-Cru, Jesús; Levy, Jordi: Popularity-similarity random SAT formulas (2021)
  7. Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina: New ways to multiply (3 \times3)-matrices (2021)
  8. Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei: Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (2021)
  9. Manthey, Norbert: The \textscMergeSatsolver (2021)
  10. Nawrocki, Wojciech; Liu, Zhenjun; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin: XOR local search for Boolean Brent equations (2021)
  11. Prevot, Nicolas; Soos, Mate; Meel, Kuldeep S.: Leveraging GPUs for effective clause sharing in parallel SAT solving (2021)
  12. Schreiber, Dominik; Sanders, Peter: Scalable SAT solving in the cloud (2021)
  13. Heisinger, Maximilian; Fleury, Mathias; Biere, Armin: Distributed cube and conquer with Paracooba (2020)
  14. Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh: A computational complexity analysis of tunable type inference for Generic Universe Types (2020)
  15. Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka: An adaptive prefix-assignment technique for symmetry reduction (2020)
  16. Kaufmann, Daniela; Biere, Armin; Kauers, Manuel: Incremental column-wise verification of arithmetic circuits using computer algebra (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. Nabeshima, Hidetomo; Inoue, Katsumi: Reproducible efficient parallel SAT solving (2020)
  20. Otpuschennikov, Ilya V.; Semenov, Alexander A.: Using merging variables-based local search to solve special variants of MaxSAT problem (2020)

1 2 3 4 next


Further publications can be found at: http://fmv.jku.at/papers/index.html