![]() | ![]() |
2004 | ||
---|---|---|
3 | EE | Dávid Hanák, Tamás Szeredi, Péter Szeredi: FDBG, the CLPFD Debugger Library of SICStus Prolog. ICLP 2004: 458-459 |
2002 | ||
2 | EE | Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16 |
1 | EE | Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs CoRR cs.SE/0207047: (2002) |
1 | Magnus Ågren | [1] [2] |
2 | Nicolas Beldiceanu | [1] [2] |
3 | Mats Carlsson | [1] [2] |
4 | Dávid Hanák | [3] |
5 | Péter Szeredi | [3] |