All Stories

  1. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*
  2. Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts
  3. Experimental evaluation of algorithms for solving problems with combinatorial explosion