%0 Conference Paper %1 conf/sat/IidaSI23 %A Iida, Yoichiro %A Sonobe, Tomohiro %A Inaba, Mary %B POS@SAT %D 2023 %E Järvisalo, Matti %E Berre, Daniel Le %I CEUR-WS.org %K dblp %P 46-58 %T An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. %U http://dblp.uni-trier.de/db/conf/sat/pos2023.html#IidaSI23 %V 3545

@inproceedings{conf/sat/IidaSI23, added-at = {2023-12-20T00:00:00.000+0100}, author = {Iida, Yoichiro and Sonobe, Tomohiro and Inaba, Mary}, biburl = {https://www.bibsonomy.org/bibtex/29a0f3a874df7041ea8408164ad492b7b/dblp}, booktitle = {POS@SAT}, crossref = {conf/sat/2023pos}, editor = {Järvisalo, Matti and Berre, Daniel Le}, ee = {https://ceur-ws.org/Vol-3545/paper4.pdf}, interhash = {208e9393d42038a5fb35616be37e6b32}, intrahash = {9a0f3a874df7041ea8408164ad492b7b}, keywords = {dblp}, pages = {46-58}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T19:21:33.000+0200}, title = {An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.}, url = {http://dblp.uni-trier.de/db/conf/sat/pos2023.html#IidaSI23}, volume = 3545, year = 2023 }