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
arXiv preprint arXiv:1011.5332, 2010
4972010
The finite domain constraint solver of SWI-Prolog
M Triska
International Symposium on Functional and Logic Programming, 307-316, 2012
532012
Constraint solving for high-level WCET analysis
A Prantl, J Knoop, M Schordan, M Triska
arXiv preprint arXiv:0903.2251, 2009
292009
Tor: Modular search with hookable disjunction
T Schrijvers, B Demoen, M Triska, B Desouter
Science of Computer Programming 84, 101-120, 2014
162014
An improved sat formulation for the social golfer problem
M Triska, N Musliu
Annals of Operations Research 194 (1), 427-438, 2012
142012
Tor: Extensible search with hookable disjunction
T Schrijvers, M Triska, B Demoen
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
122012
SWI prolog reference manual 7.1
J Wielemaker, L De Koninck, T Fruehwirth, M Triska, M Uneson
BoD–Books on Demand, 2014
112014
Correctness considerations in CLP (FD) systems
M Triska
Vienna University of Technology, 2013
102013
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
F Libisch, J Sonntag, C Stampfer, L Wirtz, B Beschoten, MI Katsnelson, ...
Physical Review Letters 120, 187701, 2018
92018
The boolean constraint solver of SWI-Prolog (system description)
M Triska
International Symposium on Functional and Logic Programming, 45-61, 2016
92016
A constraint programming application for rotating workforce scheduling
M Triska, N Musliu
Developing Concepts in Applied Intelligence, 83-88, 2011
92011
Generalising constraint solving over finite domains
M Triska
International Conference on Logic Programming, 820-821, 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
Solution methods for the social golfer problem
M Triska
na, 2008
52008
An effective greedy heuristic for the Social Golfer Problem
M Triska, N Musliu
Annals of Operations Research 194 (1), 413-425, 2012
32012
SWI Prolog Reference Manual 6.2. 2
J Wielemaker, T Frühwirth, LD Koninck, M Triska, M Uneson
Universität Ulm, 2012
32012
Better termination for Prolog with constraints
M Triska, U Neumerkel, J Wielemaker
arXiv preprint arXiv:0903.2168, 2009
22009
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
22008
Compiler technology for blue gene systems
S Kral, M Triska, CW Ueberhuber
European Conference on Parallel Processing, 279-288, 2006
22006
Boolean constraints in SWI-Prolog: A comprehensive system description
M Triska
Science of Computer Programming 164, 98-115, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20