Stem unreason$ (all stems)
3 papers:
- SEFM-2010-Pavlovic #bibliography #effectiveness #perspective #security
- The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.
- SAT-2001-Morrisette #algorithm #effectiveness #satisfiability
- The Unreasonable Effectiveness of Alternation-Based Satisfiability Algorithms (TM), pp. 254–268.
- LFP-1988-MeyerR #continuation
- Continuations May be Unreasonable (ARM, JGR), pp. 63–71.