%0 Journal Article %1 journals/constraints/KheireddineRB23 %A Kheireddine, Anissa %A Renault, Etienne %A Baarir, Souheib %D 2023 %J Constraints An Int. J. %K dblp %N 1 %P 45-66 %T Towards better heuristics for solving bounded model checking problems. %U http://dblp.uni-trier.de/db/journals/constraints/constraints28.html#KheireddineRB23 %V 28

@article{journals/constraints/KheireddineRB23, added-at = {2023-02-25T00:00:00.000+0100}, author = {Kheireddine, Anissa and Renault, Etienne and Baarir, Souheib}, biburl = {https://www.bibsonomy.org/bibtex/2082e4eedf557f955594b3b3a29d7ef1d/dblp}, ee = {https://doi.org/10.1007/s10601-022-09339-8}, interhash = {a57e28f588e4ef17620dea0f39ff72f3}, intrahash = {082e4eedf557f955594b3b3a29d7ef1d}, journal = {Constraints An Int. J.}, keywords = {dblp}, month = {March}, number = 1, pages = {45-66}, timestamp = {2024-04-09T03:37:49.000+0200}, title = {Towards better heuristics for solving bounded model checking problems.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints28.html#KheireddineRB23}, volume = 28, year = 2023 }