%0 Journal Article %1 journals/sttt/CollavizzaVPRR14 %A Collavizza, Hélène %A Vinh, Nguyen Le %A Ponsini, Olivier %A Rueher, Michel %A Rollet, Antoine %D 2014 %J Int. J. Softw. Tools Technol. Transf. %K %N 1 %P 103-121 %T Constraint-based BMC: a backjumping strategy. %U http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#CollavizzaVPRR14 %V 16

@article{journals/sttt/CollavizzaVPRR14, added-at = {2023-12-12T23:22:48.000+0100}, author = {Collavizza, Hélène and Vinh, Nguyen Le and Ponsini, Olivier and Rueher, Michel and Rollet, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/25075fdd7045d58c19a689bc67c5f5e26/admin}, ee = {https://doi.org/10.1007/s10009-012-0258-6}, interhash = {55377f4be39222244fdbbe69427effee}, intrahash = {5075fdd7045d58c19a689bc67c5f5e26}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 1, pages = {103-121}, timestamp = {2023-12-12T23:22:48.000+0100}, title = {Constraint-based BMC: a backjumping strategy.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#CollavizzaVPRR14}, volume = 16, year = 2014 }