%0 Journal Article %1 journals/tcs/DarmannD20 %A Darmann, Andreas %A Döcker, Janosch %D 2020 %J Theor. Comput. Sci. %K dblp %P 147-152 %T On a simple hard variant of Not-All-Equal 3-Sat. %U http://dblp.uni-trier.de/db/journals/tcs/tcs815.html#DarmannD20 %V 815

@article{journals/tcs/DarmannD20, added-at = {2020-03-18T00:00:00.000+0100}, author = {Darmann, Andreas and Döcker, Janosch}, biburl = {https://www.bibsonomy.org/bibtex/2454d145af24a199e3298dedccb74ef7a/dblp}, ee = {https://doi.org/10.1016/j.tcs.2020.02.010}, interhash = {62d1b3229cf87f61922b1c68f71e4bbc}, intrahash = {454d145af24a199e3298dedccb74ef7a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {147-152}, timestamp = {2020-03-19T11:37:31.000+0100}, title = {On a simple hard variant of Not-All-Equal 3-Sat.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs815.html#DarmannD20}, volume = 815, year = 2020 }