Markus Triska

20 papers B 1C 1Misc 3Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
An Executable Specification of Oncology Dose-Escalation Protocols with Prolog.
CoRR
David C. Norris, Markus Triska
2024 Misc conf
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description).
FLOPS
Björn Lellmann, Philipp Marek, Markus Triska
2024 J jnl
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description).
CoRR
Björn Lellmann, Philipp Marek, Markus Triska
2024 — conf
Grants4Companies: The Common Lisp PoC.
ELS
Philipp Marek, Björn Lellmann, Markus Triska
2024 — conf
The Need for Symbolic AI Programming Languages in the Public Sector.
ELS
Markus Triska
2018 J jnl
Boolean constraints in SWI-Prolog: A comprehensive system description.
Sci. Comput. Program.
Markus Triska
2016 Misc conf
The Boolean Constraint Solver of SWI-Prolog (System Description).
FLOPS
Markus Triska
2014 J jnl
Tor: Modular search with hookable disjunction.
Sci. Comput. Program.
Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
2012 J jnl
An effective greedy heuristic for the Social Golfer Problem.
Ann. Oper. Res.
Markus Triska, Nysret Musliu
2012 J jnl
An improved SAT formulation for the social golfer problem.
Ann. Oper. Res.
Markus Triska, Nysret Musliu
2012 J jnl
SWI-Prolog.
Theory Pract. Log. Program.
Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager
2012 Misc conf
The Finite Domain Constraint Solver of SWI-Prolog.
FLOPS
Markus Triska
2012 C conf
Tor: extensible search with hookable disjunction.
PPDP
Tom Schrijvers, Markus Triska, Bart Demoen
2011 J jnl
Domain-specific Languages in a Finite Domain Constraint Programming System
CoRR
Markus Triska
2010 J jnl
SWI-Prolog
CoRR
Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager
2009 J jnl
Better Termination for Prolog with Constraints
CoRR
Markus Triska, Ulrich Neumerkel, Jan Wielemaker
2009 J jnl
Constraint solving for high-level WCET analysis
CoRR
Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
2008 — conf
Declarative language extensions for prolog courses.
FDPE@ICFP
Ulrich Neumerkel, Markus Triska, Jan Wielemaker
2008 B conf
Generalising Constraint Solving over Finite Domains.
ICLP
Markus Triska
2006 — conf
Compiler Technology for Blue Gene Systems.
Euro-Par
Stefan Kral, Markus Triska, Christoph W. Ueberhuber