References in zbMATH (referenced in 22 articles )

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

1 2 next

  1. Brandt, Felix; Geist, Christian; Peters, Dominik: Optimal bounds for the no-show paradox via SAT solving (2017)
  2. Heule, Marijn J.H.; Seidl, Martina; Biere, Armin: Solution validation and extraction for QBF preprocessing (2017)
  3. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  4. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  5. Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef: $\textPara^2$: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (2017)
  6. Konnov, Igor; Veith, Helmut; Widder, Josef: On the completeness of bounded model checking for threshold-based distributed algorithms: reachability (2017)
  7. Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice: Painless: a framework for parallel SAT solving (2017)
  8. Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten: Automatic construction of parallel portfolios via algorithm configuration (2017)
  9. Niemetz, Aina; Preiner, Mathias; Biere, Armin: Propagation based local search for bit-precise reasoning (2017)
  10. Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten: SAT race 2015 (2016)
  11. Heule, Marijn J.H.; Kullmann, Oliver; Marek, Victor W.: Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer (2016)
  12. Manthey, Norbert; Lindauer, Marius: Spybug: automated bug detection in the configuration space of SAT solvers (2016)
  13. Balyo, Tomáš; Sanders, Peter; Sinz, Carsten: HordeSat: a massively parallel portfolio SAT solver (2015)
  14. Burchard, Jan; Schubert, Tobias; Becker, Bernd: Laissez-faire caching for parallel #SAT solving (2015)
  15. Dobraunig, Christoph; Eichlseder, Maria; Mendel, Florian; Schläffer, Martin: Cryptanalysis of Ascon (2015)
  16. Esplà-Gomis, Miquel; Sánchez-Martínez, Felipe; Forcada, Mikel L.: Using machine translation to provide target-language edit hints in computer aided translation based on translation memories (2015)
  17. Konev, Boris; Lisitsa, Alexei: Computer-aided proof of Erd\Hosdiscrepancy properties (2015)
  18. Oh, Chanseok: Between SAT and UNSAT: the fundamental difference in CDCL SAT (2015)
  19. Audemard, Gilles; Simon, Laurent: Lazy clause exchange policy for parallel SAT solvers (2014)
  20. Barahona, Pedro; Hölldobler, Steffen; Nguyen, Van-Hau: Representative encodings to translate finite CSPs into SAT (2014)

1 2 next