Parallel Heuristic Search Techniques for Propositional Satisfiability using Haskell

M Cope, Ian Philip Gent, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Trends in Functional Programming 2
Editors	Stephen Gilmore
Publisher	Intellect Books
Pages	65-76
ISBN (Print)	1-84510-058-5
Publication status	Published - 2001

Cite this

@inbook{57bbf8a1ffba48c48d6622b0990be5a2,

title = "Parallel Heuristic Search Techniques for Propositional Satisfiability using Haskell",

author = "M Cope and Gent, \{Ian Philip\} and Kevin Hammond",

year = "2001",

language = "English",

isbn = "1-84510-058-5",

pages = "65--76",

editor = "Stephen Gilmore",

booktitle = "Trends in Functional Programming 2",

publisher = "Intellect Books",

address = "United Kingdom",

}

TY - CHAP

T1 - Parallel Heuristic Search Techniques for Propositional Satisfiability using Haskell

AU - Cope, M

AU - Gent, Ian Philip

AU - Hammond, Kevin

PY - 2001

Y1 - 2001

UR - http://www.dcs.st-and.ac.uk/research/publications/CGH01.php

M3 - Chapter

SN - 1-84510-058-5

SP - 65

EP - 76

BT - Trends in Functional Programming 2

A2 - Gilmore, Stephen

PB - Intellect Books

ER -