Markus Triska

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 5

Top Topics

Arc Consistency Algorithm

Constraint Logic Programming

Constraint Solver

Top Venues

Sci. Comput. Program.

Publications

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