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
6432012
The finite domain constraint solver of SWI-Prolog
M Triska
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
672012
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
222012
Tor: Modular search with hookable disjunction
T Schrijvers, B Demoen, M Triska, B Desouter
Science of Computer Programming 84, 101-120, 2014
192014
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
The boolean constraint solver of SWI-Prolog (system description)
M Triska
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
132016
The power of prolog
M Triska
URL: https://www. metalevel. at/prolog.[Accessed 11 March, 2022], 2021
112021
Correctness considerations in CLP (FD) systems
M Triska
102013
An effective greedy heuristic for the social golfer problem
M Triska, N Musliu
Annals of Operations Research 194 (1), 413-425, 2012
102012
A constraint programming application for rotating workforce scheduling
M Triska, N Musliu
Developing Concepts in Applied Intelligence, 83-88, 2011
102011
Generalising constraint solving over finite domains
M Triska
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
102008
Solution methods for the social golfer problem
M Triska
na, 2008
92008
SWI Prolog Reference Manual 6.2. 2
T Frühwirth, L De Koninck, M Triska, J Wielemaker
BoD–Books on Demand, 2012
52012
Better termination for Prolog with constraints
M Triska, U Neumerkel, J Wielemaker
arXiv preprint arXiv:0903.2168, 2009
52009
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
SWI Prolog Reference Manual 6.2. 2
J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson
Universität Ulm, 2012
42012
Boolean constraints in SWI-Prolog: A comprehensive system description
M Triska
Science of Computer Programming 164, 98-115, 2018
22018
" 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
22018
The system can't perform the operation now. Try again later.
Articles 1–20