References in zbMATH (referenced in 25 articles )

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

1 2 next

  1. Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak: Approximate counting in SMT and value estimation for probabilistic programs (2017)
  2. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  3. Sarkar, Santanu; Maitra, Subhamoy; Baksi, Anubhab: Observing biases in the state: case studies with Trivium and Trivia-SC (2017)
  4. Utomo, Putranto H.; Makarim, Rusydi H.: Solving a binary puzzle (2017)
  5. Audemard, Gilles; Simon, Laurent: Extreme cases in SAT problems (2016)
  6. Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice: Computing the Ramsey number $R(4,3,3)$ using abstraction and symmetry breaking (2016)
  7. Liang, Jia Hui; Ganesh, Vijay; Poupart, Pascal; Czarnecki, Krzysztof: Learning rate based branching heuristic for SAT solvers (2016)
  8. Manthey, Norbert; Lindauer, Marius: Spybug: automated bug detection in the configuration space of SAT solvers (2016)
  9. Oren, Yossef; Wool, Avishai: Side-channel cryptographic attacks using pseudo-Boolean optimization (2016)
  10. Philipp, Tobias; Rebola-Pardo, Adrián: DRAT proofs for XOR reasoning (2016)
  11. Kölbl, Stefan; Leander, Gregor; Tiessen, Tyge: Observations on the \ssfSIMON block cipher family (2015)
  12. Philipp, Tobias: An expressive model for instance decomposition based parallel SAT solvers (2015)
  13. Chiu, Yi-Hao; Hong, Wei-Chih; Chou, Li-Ping; Ding, Jintai; Yang, Bo-Yin; Cheng, Chen-Mou: A practical attack on patched MIFARE Classic (2014)
  14. Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry: Proteus: a hierarchical portfolio of solvers and transformations (2014)
  15. Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin: Algorithm runtime prediction: methods & evaluation (2014)
  16. Achterberg, Tobias; Sabharwal, Ashish; Samulowitz, Horst: Stronger inference through implied literals from conflicts and knapsack covers (2013)
  17. Banik, Subhadeep; Maitra, Subhamoy; Sarkar, Santanu; Meltem Sönmez, Turan: A chosen IV related key attack on Grain-128a (2013)
  18. Bofill, Miquel; Busquets, Dídac; Muñoz, Víctor; Villaret, Mateu: Reformulation based MaxSat robustness (2013)
  19. Manthey, Norbert; Philipp, Tobias; Wernhard, Christoph: Soundness of inprocessing in clause sharing SAT solvers (2013)
  20. Walter, Michael; Bulygin, Stanislav; Buchmann, Johannes: Optimizing guessing strategies for algebraic cryptanalysis with applications to EPCBC (2013)

1 2 next