Swi-prolog J Wielemaker, T Schrijvers, M Triska, T Lager Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012 | 758 | 2012 |
The finite domain constraint solver of SWI-Prolog M Triska International Symposium on Functional and Logic Programming, 307-316, 2012 | 74 | 2012 |
Constraint solving for high-level WCET analysis A Prantl, J Knoop, M Schordan, M Triska arXiv preprint arXiv:0903.2251, 2009 | 32 | 2009 |
An improved SAT formulation for the social golfer problem M Triska, N Musliu Annals of Operations Research 194 (1), 427-438, 2012 | 24 | 2012 |
Tor: Modular search with hookable disjunction T Schrijvers, B Demoen, M Triska, B Desouter Science of Computer Programming 84, 101-120, 2014 | 22 | 2014 |
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI) R Radis, E Kozeschnik Materials Science Forum 636 (637), 605-611, 2010 | 18* | 2010 |
SWI prolog reference manual 7.1 J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson Universität Ulm, 2014 | 15 | 2014 |
Tor: Extensible search with hookable disjunction T Schrijvers, M Triska, B Demoen Proceedings of the 14th symposium on Principles and practice of declarative …, 2012 | 14 | 2012 |
An effective greedy heuristic for the social golfer problem M Triska, N Musliu Annals of Operations Research 194 (1), 413-425, 2012 | 14 | 2012 |
The boolean constraint solver of SWI-Prolog (system description) M Triska International Symposium on Functional and Logic Programming, 45-61, 2016 | 13 | 2016 |
The power of prolog M Triska URL: https://www. metalevel. at/prolog.[Accessed 11 March, 2022], 2021 | 12 | 2021 |
A constraint programming application for rotating workforce scheduling M Triska, N Musliu Developing Concepts in Applied Intelligence, 83-88, 2011 | 11 | 2011 |
Correctness considerations in CLP (FD) systems M Triska Technische Universität Wien, 2013 | 10 | 2013 |
Solution methods for the social golfer problem M Triska na, 2008 | 10 | 2008 |
Generalising constraint solving over finite domains M Triska International Conference on Logic Programming, 820-821, 2008 | 9 | 2008 |
Better termination for Prolog with constraints M Triska, U Neumerkel, J Wielemaker arXiv preprint arXiv:0903.2168, 2009 | 6 | 2009 |
SWI Prolog Reference Manual 6.2. 2 T Frühwirth, L De Koninck, M Triska, J Wielemaker BoD–Books on Demand, 2012 | 5 | 2012 |
A generalised finite domain constraint solver for SWI-Prolog M Triska, U Neumerkel, J Wielemaker In Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP …, 2008 | 5 | 2008 |
Boolean constraints in SWI-Prolog: A comprehensive system description M Triska Science of Computer Programming 164, 98-115, 2018 | 4 | 2018 |
SWI Prolog Reference Manual 6.2. 2 J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson Universität Ulm, 2012 | 4 | 2012 |