BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × Japan
Collaborated with:
T.Schrijvers B.Demoen B.Desouter
Talks about:
constraint (2) disjunct (2) hookabl (2) search (2) domain (2) finit (2) tor (2) generalis (1) modular (1) solver (1)

Person: Markus Triska

DBLP DBLP: Triska:Markus

Contributed to:

FLOPS 20122012
PPDP 20122012
PPDP 20122014
ICLP 20082008

Wrote 4 papers:

FLOPS-2012-Triska #constraints #finite #prolog #theorem proving
The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
PPDP-2012-SchrijversTD #named
Tor: extensible search with hookable disjunction (TS, MT, BD), pp. 103–114.
PPDP-J-2012-SchrijversDTD14 #composition #named
Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.
ICLP-2008-Triska #constraints #finite #theorem proving
Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.