Stem seem$ (all stems)

6 papers:

SAT-2014-MiksaN #proving

Long Proofs of (Seemingly) Simple Formulas (MM, JN), pp. 121–137.

CHI-2012-MerrittM

Protecting artificial team-mates: more seems like less (TRM, KM), pp. 2793–2802.

ICEIS-v1-2004-Ballesteros #collaboration #internet

Collaboration @ Work: 3rd Wave of Internet to Foster Collaboration between Individuals on the Seem (ILB), p. XVII-XXVII.

SAT-2004-Connamacher #constraints #problem #random

A Random Constraint Satisfaction Problem That Seems Hard for DPLL (HSC), pp. 3–11.

STOC-1998-KargerL #graph

Finding Maximum Flows in Undirected Graphs Seems Easier than Bipartite Matching (DRK, MSL), pp. 69–78.

JICSLP-1996-SchwitterF

Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract) (RS, NEF), p. 536.