BibSLEIGH — enclosur stem

Used together with:

ram (1)
sat (1)
linear (1)
contain (1)
offlin (1)

Stem enclosur$ (all stems)

ICALP-v1-2014-AfshaniCT #ram: Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM (PA, TMC, KT), pp. 77–88.
SEFM-2011-EggersRNF #analysis #hybrid #satisfiability: Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
STOC-1996-Milenkovic #linear #programming #strict #using: Translational Polygon Containment and Minimal Enclosure using Linear Programming Based Restriction (VM), pp. 109–118.