Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Guido Tack

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/constraints/SchulteT13
- ask others
Christian Schulte, Guido Tack: View-based propagator derivation. Constraints 18(1): 75-107 (2013)
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/constraints/SchrijversTWSS13
- ask others
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search combinators. Constraints 18(2): 269-305 (2013)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpaior/StuckeyT13
- ask others
Peter J. Stuckey, Guido Tack: MiniZinc with Functions. CPAIOR 2013: 268-283
2012
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/SchrijversTWSS12
- ask others
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: An Introduction to Search Combinators. LOPSTR 2012: 2-16
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-1095
- ask others
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CoRR abs/1203.1095 (2012)
2011
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/SchrijversTWSS11
- ask others
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CP 2011: 774-788
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wflp/WuilleSSTS11
- ask others
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey: Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/ReischukSST09
- ask others
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/SchulteT09
- ask others
Christian Schulte, Guido Tack: Weakly Monotonic Propagators. CP 2009: 723-730
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0908-2050
- ask others
Christian Schulte, Guido Tack: View-based Propagator Derivation. CoRR abs/0908.2050 (2009)
2008
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/SchulteT08
- ask others
Christian Schulte, Guido Tack: Perfect Derived Propagators. CP 2008: 571-575
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0806-1806
- ask others
Christian Schulte, Guido Tack: Perfect Derived Propagators. CoRR abs/0806.1806 (2008)
2007
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/NethercoteSBBDT07
- ask others
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ml/RossbergTK07
- ask others
Andreas Rossberg, Guido Tack, Leif Kornstaedt: Status report: hot pickles, and how to serve them. ML 2007: 25-36
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0712-2389
- ask others
Martin Mann, Guido Tack, Sebastian Will: Decomposition During Search for Propagation-Based Constraint Solvers. CoRR abs/0712.2389 (2007)
2006
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/TackKS06
- ask others
Guido Tack, Leif Kornstaedt, Gert Smolka: Generic Pickling and Minimization. Electr. Notes Theor. Comput. Sci. 148(2): 79-103 (2006)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/TackSS06
- ask others
Guido Tack, Christian Schulte, Gert Smolka: Generating Propagators for Finite Set Constraints. CP 2006: 575-589
2005
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cp/SchulteT05
- ask others
Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CP 2005: 817-821
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csclp/SchulteT05
- ask others
Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CSCLP 2005: 118-132
2004
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/moz/TackB04
- ask others
Guido Tack, Didier Le Botlan: Compositional Abstractions for Search Factories. MOZ 2004: 211-223
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/RossbergBTBS04
- ask others
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka: Alice through the looking glass. Trends in Functional Programming 2004: 79-95