Successful SAT Encoding Techniques. Björk, M Paper bibtex @book{bjorkSuccessfulSATEncoding2009,
title = {Successful {{SAT}} Encoding Techniques},
url = {http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Successful+SAT+Encoding+Techniques#0},
date = {2009},
keywords = {sat,sat encodings,satisfiability},
author = {Björk, M}
}
Downloads: 0
{"_id":"Eb849JagSGu98AZtk","bibbaseid":"bjrk-successfulsatencodingtechniques","authorIDs":[],"author_short":["Björk, M"],"bibdata":{"bibtype":"book","type":"book","title":"Successful SAT Encoding Techniques","url":"http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Successful+SAT+Encoding+Techniques#0","date":"2009","keywords":"sat,sat encodings,satisfiability","author":[{"propositions":[],"lastnames":["Björk"],"firstnames":["M"],"suffixes":[]}],"bibtex":"@book{bjorkSuccessfulSATEncoding2009,\n title = {Successful {{SAT}} Encoding Techniques},\n url = {http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Successful+SAT+Encoding+Techniques#0},\n date = {2009},\n keywords = {sat,sat encodings,satisfiability},\n author = {Björk, M}\n}\n\n","author_short":["Björk, M"],"key":"bjorkSuccessfulSATEncoding2009","id":"bjorkSuccessfulSATEncoding2009","bibbaseid":"bjrk-successfulsatencodingtechniques","role":"author","urls":{"Paper":"http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Successful+SAT+Encoding+Techniques#0"},"keyword":["sat","sat encodings","satisfiability"],"downloads":0},"bibtype":"book","biburl":"https://raw.githubusercontent.com/dlozeve/newblog/master/bib/all.bib","creationDate":"2020-01-08T20:39:39.050Z","downloads":0,"keywords":["sat","sat encodings","satisfiability"],"search_terms":["successful","sat","encoding","techniques","björk"],"title":"Successful SAT Encoding Techniques","year":null,"dataSources":["3XqdvqRE7zuX4cm8m"]}