References in zbMATH (referenced in 37 articles )

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

1 2 next

  1. Horáček, Jan; Kreuzer, Martin: On conversions from CNF to ANF (2020)
  2. Horáček, Jan; Kreuzer, Martin; Messeng Ekossono, Ange-Salomé: A signature based border basis algorithm (2020)
  3. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  4. Achlioptas, Dimitris; Theodoropoulos, Panos: Model counting with error-correcting codes (2019)
  5. Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.: Constraints for symmetry breaking in graph representation (2019)
  6. Belahcène, K.; Labreuche, C.; Maudet, N.; Mousseau, V.; Ouerdane, W.: An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples (2018)
  7. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)
  8. Shabana, Hanan: (D_2)-synchronization in nondeterministic automata (2018)
  9. Shabana, Hanan; Volkov, Mikhaĭl V.: Using SAT solvers for synchronization issues in non-deterministic automata (2018)
  10. Chen, Hao; Wang, Tao; Zhao, Xinjie; Zhang, Fan; Ma, Yunfei; Wang, Xiaohan: Research on fault-tolerant algebraic fault attack on HIGHT (2017)
  11. Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak: Approximate counting in SMT and value estimation for probabilistic programs (2017)
  12. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  13. Liang, Jia Hui; Hari Govind, V. K.; Poupart, Pascal; Czarnecki, Krzysztof; Ganesh, Vijay: An empirical study of branching heuristics through the lens of global learning rate (2017)
  14. Nejati, Saeed; Newsham, Zack; Scott, Joseph; Liang, Jia Hui; Gebotys, Catherine; Poupart, Pascal; Ganesh, Vijay: A propagation rate based splitting heuristic for divide-and-conquer solvers (2017)
  15. Sarkar, Santanu; Maitra, Subhamoy; Baksi, Anubhab: Observing biases in the state: case studies with Trivium and Trivia-SC (2017)
  16. Utomo, Putranto H.; Makarim, Rusydi H.: Solving a binary puzzle (2017)
  17. Audemard, Gilles; Simon, Laurent: Extreme cases in SAT problems (2016)
  18. Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice: Computing the Ramsey number (R(4,3,3)) using abstraction and symmetry breaking (2016)
  19. Liang, Jia Hui; Ganesh, Vijay; Poupart, Pascal; Czarnecki, Krzysztof: Learning rate based branching heuristic for SAT solvers (2016)
  20. Manthey, Norbert; Lindauer, Marius: Spybug: automated bug detection in the configuration space of SAT solvers (2016)

1 2 next