Programming with Boolean Satisfaction

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish GB
Title of host publicationFunctional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
EditorsTom Schrijvers, Peter Thiemann
PublisherSpringer
Pages1
Number of pages1
Volume7294
DOIs
StatePublished - 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Cite this