%0 Journal Article %1 journals/jetai/MartinsML15 %A Martins, Ruben %A Manquinho, Vasco %A Lynce, Inês %D 2015 %J J. Exp. Theor. Artif. Intell. %K dblp %N 5 %P 673-701 %T Improving linear search algorithms with model-based approaches for MaxSAT solving. %U http://dblp.uni-trier.de/db/journals/jetai/jetai27.html#MartinsML15 %V 27

@article{journals/jetai/MartinsML15, added-at = {2024-09-17T00:00:00.000+0200}, author = {Martins, Ruben and Manquinho, Vasco and Lynce, Inês}, biburl = {https://www.bibsonomy.org/bibtex/21e5bc87043a14bf10720bcf5ba2a1e19/dblp}, ee = {https://doi.org/10.1080/0952813X.2014.993508}, interhash = {aebb7155afb491159fc03e86c4ce4ac0}, intrahash = {1e5bc87043a14bf10720bcf5ba2a1e19}, journal = {J. Exp. Theor. Artif. Intell.}, keywords = {dblp}, number = 5, pages = {673-701}, timestamp = {2024-09-23T07:06:22.000+0200}, title = {Improving linear search algorithms with model-based approaches for MaxSAT solving.}, url = {http://dblp.uni-trier.de/db/journals/jetai/jetai27.html#MartinsML15}, volume = 27, year = 2015 }