Found 2 Documents (Results 1–2)
Filter Results by …
all
top 5
Author
- Gupta, Gopal (2)
- Pontelli, Enrico (2)
- Dovier, Agostino (1)
- Formisano, Andrea (1)
- Hermenegildo, Manuel V. (1)
- Rocha, Ricardo (1)
Serial
Main Field
- 68-XX (2)
all
top 3
Software
- SICStus (2)
- April (1)
- AutoFolio (1)
- B-Prolog (1)
- BerkMin (1)
- BigDatalog (1)
- CDAOstore (1)
- CUD@SAT (1)
- CUDA (1)
- Ciao (1)
- CiaoPP (1)
- DASWAM (1)
- GASP (1)
- GHC (1)
- HaLoop (1)
- Hadoop (1)
- JayHorn (1)
- LPaaS (1)
- Multilisp (1)
- OPTYap (1)
- OpenCL (1)
- PARLOG (1)
- PhyloWS (1)
- Picat-SAT (1)
- Potassco (1)
- Pregel (1)
- SATzilla (1)
- SUNNY (1)
- SWI-Prolog (1)
- SeaHorn (1)
- Smodels (1)
- WebPIE (1)
- XSB (1)
- YAP-Prolog (1)
- YapOr (1)
- Yedalog (1)
- aspeed (1)
- claspfolio 2 (1)