Stem swi$ (all stems)
3 papers:
- CHI-2015-ZezschwitzLBH #named #performance #smarttech
- SwiPIN: Fast and Secure PIN-Entry on Smartphones (EvZ, ADL, BB, HH), pp. 1403–1406.
- FLOPS-2012-Triska #constraints #finite #prolog #theorem proving
- The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
- ICLP-2003-Wielemaker #prolog #thread
- Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.