%0 Conference Paper %1 conf/icse-formalise/ZeyenCPA24 %A Zeyen, Olivier %A Cordy, Maxime %A Perrouin, Gilles %A Acher, Mathieu %B FormaliSE@ICSE %D 2024 %E Plat, Nico %E Gnesi, Stefania %E Furia, Carlo A. %E Lopes, Antónia %I ACM %K dblp %P 23-32 %T Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. %U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#ZeyenCPA24

@inproceedings{conf/icse-formalise/ZeyenCPA24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Zeyen, Olivier and Cordy, Maxime and Perrouin, Gilles and Acher, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/206a8354b7d35ca7fd6ecfc2e5e601e28/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse-formalise/2024}, editor = {Plat, Nico and Gnesi, Stefania and Furia, Carlo A. and Lopes, Antónia}, ee = {https://ieeexplore.ieee.org/document/10555673}, interhash = {ae1e651d6e25f124550be6406c902bc4}, intrahash = {06a8354b7d35ca7fd6ecfc2e5e601e28}, keywords = {dblp}, pages = {23-32}, publisher = {ACM}, timestamp = {2024-07-01T07:11:05.000+0200}, title = {Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.}, url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#ZeyenCPA24}, year = 2024 }