%0 Journal Article %1 journals/air/GeLYD19 %A Ge, Hao %A shu Li, Long %A Yang, Chuanjian %A Ding, Jian %D 2019 %J Artif. Intell. Rev. %K dblp %N 4 %P 507-536 %T Incremental reduction algorithm with acceleration strategy based on conflict region. %U http://dblp.uni-trier.de/db/journals/air/air51.html#GeLYD19 %V 51

@article{journals/air/GeLYD19, added-at = {2019-04-16T00:00:00.000+0200}, author = {Ge, Hao and shu Li, Long and Yang, Chuanjian and Ding, Jian}, biburl = {https://www.bibsonomy.org/bibtex/2e629b3a9c2c09f6244228ebc47d52728/dblp}, ee = {https://doi.org/10.1007/s10462-017-9570-6}, interhash = {62183faca64d8e6ce5a8005de83bf0a8}, intrahash = {e629b3a9c2c09f6244228ebc47d52728}, journal = {Artif. Intell. Rev.}, keywords = {dblp}, number = 4, pages = {507-536}, timestamp = {2019-04-17T11:40:58.000+0200}, title = {Incremental reduction algorithm with acceleration strategy based on conflict region.}, url = {http://dblp.uni-trier.de/db/journals/air/air51.html#GeLYD19}, volume = 51, year = 2019 }