• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 8 matches

• 2003
• 
  Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe:
  A BMC-formulation for the scheduling problem in highly constrained hardware Systems. BMC@CAV 2003: 623-638
• 
  Niklas Eén, Niklas Sörensson:
  Temporal induction by incremental SAT solving. BMC@CAV 2003: 543-560
• 
  Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
  BMC via on-the-fly determinization. BMC@CAV 2003: 561-577
• 
  Zurab Khasidashvili, Ziyad Hanna:
  SAT-based methods for sequential hardware equivalence verification without synchronization. BMC@CAV 2003: 593-607
• 
  Bing Li, Chao Wang, Fabio Somenzi:
  A satisfiability-based approach to abstraction refinement in model checking. BMC@CAV 2003: 608-622
• 
  P. Madhusudan, Wonhong Nam, Rajeev Alur:
  Symbolic computational techniques for solving games. BMC@CAV 2003: 578-592
• 
  Ofer Strichman, Armin Biere:
  Preface. BMC@CAV 2003: 541-542
• 
  Ofer Strichman, Armin Biere:
  First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(4), Elsevier 2003 [contents]