„bitvector“

Suchergebnisse

6 Treffer

• (Worst-case) Optimal Adaptive Dynamic Bitvectors
  Navarro, Gonzalo
• Solving hard instances in QF-BV combining Boolean reasoning with computer algebra
  Wedler, Markus ; Pavlenko, Evgeny ; Dreyer, Alexander ; Seelisch, Frank ; Stoffel, Dominik ; Greuel, Gert-Martin ; Kunz, Wolfgang
• A Framework of Dynamic Data Structures for String Processing
  Prezza, Nicola 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallelism for free – efficient and optimal bitvector analyses for parallel programs
  Knoop, Jens ; Steffen, Bernhard ; Vollmer, Jürgen 1994 Univ., Fak. für Math. und Informatik
• Modeling high school timetabling with bitvectors
  Demirović, Emir ; Musliu, Nysret
• An efficient decision procedure for a theory of fix sized bitvectors with composition and extraction
  Cyrluk, David ; Möller, Oliver ; Rueß, Harald 1996 Univ., Fak. für Informatik