Go to the corresponding LIPIcs Volume Portal 
Bajpai, Swapnam ; Krishan, Vaibhav ; Kush, Deepanshu ; Limaye, Nutan ; Srinivasan, Srikanth
pdfformat: 

@InProceedings{bajpai_et_al:LIPIcs:2018:10101, author = {Swapnam Bajpai and Vaibhav Krishan and Deepanshu Kush and Nutan Limaye and Srikanth Srinivasan}, title = {{A #SAT Algorithm for Small ConstantDepth Circuits with PTF Gates}}, booktitle = {10th Innovations in Theoretical Computer Science Conference (ITCS 2019)}, pages = {8:18:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770958}, ISSN = {18688969}, year = {2018}, volume = {124}, editor = {Avrim Blum}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/10101}, URN = {urn:nbn:de:0030drops101010}, doi = {10.4230/LIPIcs.ITCS.2019.8}, annote = {Keywords: SAT, Polynomial Threshold Functions, Constantdepth Boolean Circuits, Linear Decision Trees, Zeroerror randomized algorithms} }
Keywords:  SAT, Polynomial Threshold Functions, Constantdepth Boolean Circuits, Linear Decision Trees, Zeroerror randomized algorithms  
Collection:  10th Innovations in Theoretical Computer Science Conference (ITCS 2019)  
Issue Date:  2018  
Date of publication:  08.01.2019 