Swi-prolog J Wielemaker, T Schrijvers, M Triska, T Lager Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012 | 642 | 2012 |

The finite domain constraint solver of SWI-Prolog M Triska Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012 | 67 | 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 | 22 | 2012 |

Tor: Modular search with hookable disjunction T Schrijvers, B Demoen, M Triska, B Desouter Science of Computer Programming 84, 101-120, 2014 | 19 | 2014 |

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 |

The boolean constraint solver of SWI-Prolog (system description) M Triska Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 13 | 2016 |

The power of prolog M Triska URL: https://www. metalevel. at/prolog.[Accessed 11 March, 2022], 2021 | 11 | 2021 |

Correctness considerations in CLP (FD) systems M Triska | 10 | 2013 |

An effective greedy heuristic for the social golfer problem M Triska, N Musliu Annals of Operations Research 194 (1), 413-425, 2012 | 10 | 2012 |

A constraint programming application for rotating workforce scheduling M Triska, N Musliu Developing Concepts in Applied Intelligence, 83-88, 2011 | 10 | 2011 |

Generalising constraint solving over finite domains M Triska Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 10 | 2008 |

Solution methods for the social golfer problem M Triska na, 2008 | 9 | 2008 |

SWI Prolog Reference Manual 6.2. 2 T Frühwirth, L De Koninck, M Triska, J Wielemaker BoD–Books on Demand, 2012 | 5 | 2012 |

Better termination for Prolog with constraints M Triska, U Neumerkel, J Wielemaker arXiv preprint arXiv:0903.2168, 2009 | 5 | 2009 |

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 |

SWI Prolog Reference Manual 6.2. 2 J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson Universität Ulm, 2012 | 4 | 2012 |

Boolean constraints in SWI-Prolog: A comprehensive system description M Triska Science of Computer Programming 164, 98-115, 2018 | 2 | 2018 |

" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI) M Ali, R Pichler, H Truong, S Dustdar Frontiers in Neuroscience 12, 1-17, 2018 | 2 | 2018 |