Follow
Markus Triska
Markus Triska
TU Wien
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Swi-prolog
J Wielemaker, T Schrijvers, M Triska, T Lager
Theory and Practice of Logic Programming 12 (1-2), 67-96, 2012
7582012
The finite domain constraint solver of SWI-Prolog
M Triska
International Symposium on Functional and Logic Programming, 307-316, 2012
742012
Constraint solving for high-level WCET analysis
A Prantl, J Knoop, M Schordan, M Triska
arXiv preprint arXiv:0903.2251, 2009
322009
An improved SAT formulation for the social golfer problem
M Triska, N Musliu
Annals of Operations Research 194 (1), 427-438, 2012
242012
Tor: Modular search with hookable disjunction
T Schrijvers, B Demoen, M Triska, B Desouter
Science of Computer Programming 84, 101-120, 2014
222014
" 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
152014
Tor: Extensible search with hookable disjunction
T Schrijvers, M Triska, B Demoen
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
142012
An effective greedy heuristic for the social golfer problem
M Triska, N Musliu
Annals of Operations Research 194 (1), 413-425, 2012
142012
The boolean constraint solver of SWI-Prolog (system description)
M Triska
International Symposium on Functional and Logic Programming, 45-61, 2016
132016
The power of prolog
M Triska
URL: https://www. metalevel. at/prolog.[Accessed 11 March, 2022], 2021
122021
A constraint programming application for rotating workforce scheduling
M Triska, N Musliu
Developing Concepts in Applied Intelligence, 83-88, 2011
112011
Correctness considerations in CLP (FD) systems
M Triska
Technische Universität Wien, 2013
102013
Solution methods for the social golfer problem
M Triska
na, 2008
102008
Generalising constraint solving over finite domains
M Triska
International Conference on Logic Programming, 820-821, 2008
92008
Better termination for Prolog with constraints
M Triska, U Neumerkel, J Wielemaker
arXiv preprint arXiv:0903.2168, 2009
62009
SWI Prolog Reference Manual 6.2. 2
T Frühwirth, L De Koninck, M Triska, J Wielemaker
BoD–Books on Demand, 2012
52012
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
52008
Boolean constraints in SWI-Prolog: A comprehensive system description
M Triska
Science of Computer Programming 164, 98-115, 2018
42018
SWI Prolog Reference Manual 6.2. 2
J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson
Universität Ulm, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20