• 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 14 matches

• 2013
• 
  Rob Arthan, Paulo Oliva:
  (Dual) Hoops Have Unique Halving. Automated Reasoning and Mathematics 2013: 165-180
• 
  Eric Ens, Ranganathan Padmanabhan:
  Group Embedding of the Projective Plane PG(2, 3). Automated Reasoning and Mathematics 2013: 131-138
• 
  Zachary Ernst, Seth Kurtenbach:
  Toward a Procedure for Data Mining Proofs. Automated Reasoning and Mathematics 2013: 229-239
• 
  Branden Fitelson:
  Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. Automated Reasoning and Mathematics 2013: 181-188
• 
  Thomas Hillenbrand, Christoph Weidenbach:
  Superposition for Bounded Domains. Automated Reasoning and Mathematics 2013: 68-100
• 
  Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen:
  Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics 2013: 189-228
• 
  Michael K. Kinyon, Robert Veroff, Petr Vojtechovský:
  Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. Automated Reasoning and Mathematics 2013: 151-164
• 
  Leonardo Mendonça de Moura, Grant Olney Passmore:
  The Strategy Challenge in SMT Solving. Automated Reasoning and Mathematics 2013: 15-44
• 
  Ranganathan Padmanabhan, Robert Veroff:
  A Geometric Procedure with Prover9. Automated Reasoning and Mathematics 2013: 139-150
• 
  Stephan Schulz:
  Simple and Efficient Clause Subsumption with Feature Vector Indexing. Automated Reasoning and Mathematics 2013: 45-67
• 
  Josef Urban, Jirí Vyskocil:
  Theorem Proving in Large Formal Mathematics as an Emerging AI Field. Automated Reasoning and Mathematics 2013: 240-257
• 
  Larry Wos:
  The Legacy of a Great Researcher. Automated Reasoning and Mathematics 2013: 1-14
• 
  Hantao Zhang, Jian Zhang:
  MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics 2013: 101-130
• 
  Maria Paola Bonacina, Mark E. Stickel:
  Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. Lecture Notes in Computer Science 7788, Springer 2013, ISBN 978-3-642-36674-1 [contents]