References in zbMATH (referenced in 41 articles )

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

1 2 3 next

  1. La Scala, Roberto; Tiwari, Sharwan K.: Stream/block ciphers, difference equations and algebraic attacks (2022)
  2. Bhattacharyya, Arnab; Gupta, Ashutosh; Kuppusamy, Lakshmanan; Mani, Somya; Shukla, Ankit; Srivas, Mandayam; Thattai, Mukund: A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (2021)
  3. Heisinger, Maximilian; Fleury, Mathias; Biere, Armin: Distributed cube and conquer with Paracooba (2020)
  4. Horáček, Jan; Kreuzer, Martin: On conversions from CNF to ANF (2020)
  5. Horáček, Jan; Kreuzer, Martin; Messeng Ekossono, Ange-Salomé: A signature based border basis algorithm (2020)
  6. Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu: Clause vivification by unit propagation in CDCL SAT solvers (2020)
  7. Achlioptas, Dimitris; Theodoropoulos, Panos: Model counting with error-correcting codes (2019)
  8. Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.: Constraints for symmetry breaking in graph representation (2019)
  9. 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)
  10. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: a Python toolkit for prototyping with SAT oracles (2018)
  11. Shabana, Hanan: (D_2)-synchronization in nondeterministic automata (2018)
  12. Shabana, Hanan; Volkov, Mikhaĭl V.: Using SAT solvers for synchronization issues in non-deterministic automata (2018)
  13. Chen, Hao; Wang, Tao; Zhao, Xinjie; Zhang, Fan; Ma, Yunfei; Wang, Xiaohan: Research on fault-tolerant algebraic fault attack on HIGHT (2017)
  14. Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak: Approximate counting in SMT and value estimation for probabilistic programs (2017)
  15. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  16. 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)
  17. 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)
  18. Sarkar, Santanu; Maitra, Subhamoy; Baksi, Anubhab: Observing biases in the state: case studies with Trivium and Trivia-SC (2017)
  19. Utomo, Putranto H.; Makarim, Rusydi H.: Solving a binary puzzle (2017)
  20. Audemard, Gilles; Simon, Laurent: Extreme cases in SAT problems (2016)

1 2 3 next