Stem scarab$ (all stems)
2 papers:
- SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability
- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
- SIGMOD-2012-JinRDY #graph #named #reachability #scalability
- SCARAB: scaling reachability computation on large graphs (RJ, NR, SD, JXY), pp. 169–180.