%0 Conference Paper %1 conf/eecs/Treethanyaphong18 %A Treethanyaphong, Tevich %A Surarerks, Athasit %B EECS %D 2018 %I IEEE %K dblp %P 242-247 %T Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning. %U http://dblp.uni-trier.de/db/conf/eecs/eecs2018.html#Treethanyaphong18 %@ 978-1-7281-1929-8

@inproceedings{conf/eecs/Treethanyaphong18, added-at = {2019-11-30T00:00:00.000+0100}, author = {Treethanyaphong, Tevich and Surarerks, Athasit}, biburl = {https://www.bibsonomy.org/bibtex/2c7407952ed0d3cfbe5875cae6016b267/dblp}, booktitle = {EECS}, crossref = {conf/eecs/2018}, ee = {https://doi.org/10.1109/EECS.2018.00053}, interhash = {cecacbd9405f6397d05ca5029f95598d}, intrahash = {c7407952ed0d3cfbe5875cae6016b267}, isbn = {978-1-7281-1929-8}, keywords = {dblp}, pages = {242-247}, publisher = {IEEE}, timestamp = {2019-12-03T11:40:25.000+0100}, title = {Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning.}, url = {http://dblp.uni-trier.de/db/conf/eecs/eecs2018.html#Treethanyaphong18}, year = 2018 }