%0 Journal Article %1 journals/isci/CaoXLCY21 %A Cao, Feng %A Xu, Yang %A Liu, Jun %A Chen, Shuwei %A Yi, JianBing %D 2021 %J Inf. Sci. %K dblp %P 281-299 %T A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. %U http://dblp.uni-trier.de/db/journals/isci/isci566.html#CaoXLCY21 %V 566

@article{journals/isci/CaoXLCY21, added-at = {2023-06-12T00:00:00.000+0200}, author = {Cao, Feng and Xu, Yang and Liu, Jun and Chen, Shuwei and Yi, JianBing}, biburl = {https://www.bibsonomy.org/bibtex/2a50be3a82f75f95167a871996163c5ce/dblp}, ee = {https://doi.org/10.1016/j.ins.2021.03.015}, interhash = {c340083a30c4c3b341e08a6ca65fc964}, intrahash = {a50be3a82f75f95167a871996163c5ce}, journal = {Inf. Sci.}, keywords = {dblp}, pages = {281-299}, timestamp = {2024-04-08T13:05:27.000+0200}, title = {A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci566.html#CaoXLCY21}, volume = 566, year = 2021 }