Markus Triska

According to our database, Markus Triska authored at least 15 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog.

David C. Norris, Markus Triska

CoRR, 2024

2018

Boolean constraints in SWI-Prolog: A comprehensive system description.

Markus Triska

Sci. Comput. Program., 2018

2016

The Boolean Constraint Solver of SWI-Prolog (System Description).

Markus Triska

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2014

Tor: Modular search with hookable disjunction.

Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter

Sci. Comput. Program., 2014

2012

SWI-Prolog.

Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager

Theory Pract. Log. Program., 2012

An improved SAT formulation for the social golfer problem.

Markus Triska, Nysret Musliu

Ann. Oper. Res., 2012

An effective greedy heuristic for the Social Golfer Problem.

Markus Triska, Nysret Musliu

Ann. Oper. Res., 2012

Tor: extensible search with hookable disjunction.

Tom Schrijvers, Markus Triska, Bart Demoen

Proceedings of the Principles and Practice of Declarative Programming, 2012

The Finite Domain Constraint Solver of SWI-Prolog.

Markus Triska

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Domain-specific Languages in a Finite Domain Constraint Programming System

Markus Triska

CoRR, 2011

2009

Constraint solving for high-level WCET analysis

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska

CoRR, 2009

Better Termination for Prolog with Constraints

Markus Triska, Ulrich Neumerkel, Jan Wielemaker

CoRR, 2009

2008

Generalising Constraint Solving over Finite Domains.

Markus Triska

Proceedings of the Logic Programming, 24th International Conference, 2008

Declarative language extensions for prolog courses.

Ulrich Neumerkel, Markus Triska, Jan Wielemaker

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2006

Compiler Technology for Blue Gene Systems.

Stefan Kral, Markus Triska, Christoph W. Ueberhuber

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006