Concepedia

Markus Triska

MT

Statistics

Publications

6

Citations

431

H-Index

6

Active since

2009

Affiliations

TU Wien(Current)

Ghent University

KU Leuven

Markus Triska is an author at TU Wien specializing in engineering, software engineering, and formal methods.

Top concepts

Publications per year

2009–2013

6

Publications

6

SWI-Prolog

Jan Wielemaker, Tom Schrijvers, Markus Triska et al. · Theory and Practice of Logic Programming · 2011 · 363 citations · Full text

, , +16

An improved SAT formulation for the social golfer problem

Markus Triska, Nysret Musliu · Annals of Operations Research · 2010 · 18 citations

, , +9

Constraint solving for high-level WCET analysis

Adrian Prantl, Jens Knoop, Markus Schordan et al. · ArXiv.org · 2009 · 17 citations · Full text

, , +23

Tor : Modular search with hookable disjunction

Tom Schrijvers, Bart Demoen, Markus Triska et al. · Science of Computer Programming · 2013 · 13 citations · Full text

Tor

Tom Schrijvers, Markus Triska, Bart Demoen · 2012 · 10 citations · Full text

, , +14

Rows per page

1–5 of 6