Markus Triska

From MaRDI portal
Person:1761918



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The Boolean constraint solver of SWI-Prolog (system description)
Functional and Logic Programming
2016-04-04Paper
\textsc{Tor}: modular search with hookable disjunction
Science of Computer Programming
2014-03-25Paper
An effective greedy heuristic for the social golfer problem
Annals of Operations Research
2012-11-15Paper
An improved SAT formulation for the social golfer problem
Annals of Operations Research
2012-11-15Paper
SWI-Prolog
Theory and Practice of Logic Programming
2012-06-25Paper


Research outcomes over time


This page was built for person: Markus Triska