An introduction to search combinators

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter James Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation
Editors	Elvira Albert
Place of Publication	Berlin Germany
Publisher	Springer
Pages	2 - 16
Number of pages	15
ISBN (Print)	9783642381966
Publication status	Published - 2013

Cite this

@inbook{1ce38d25aa504c398099505bb39bf531,

title = "An introduction to search combinators",

author = "Tom Schrijvers and Guido Tack and Pieter Wuille and Horst Samulowitz and Stuckey, {Peter James}",

year = "2013",

language = "English",

isbn = "9783642381966",

pages = "2 -- 16",

editor = "Elvira Albert",

booktitle = "Logic-Based Program Synthesis and Transformation",

publisher = "Springer",

address = "Switzerland",

}