%0 Journal Article %1 journals/jss/LuoCWZCX24 %A Luo, Weilin %A Chen, Polong %A Wan, Hai %A Zhong, Hongzhen %A Cai, Shaowei %A Xiao, Zhanhao %D 2024 %J J. Syst. Softw. %K dblp %P 112036 %T Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. %U http://dblp.uni-trier.de/db/journals/jss/jss213.html#LuoCWZCX24 %V 213

@article{journals/jss/LuoCWZCX24, added-at = {2024-05-31T00:00:00.000+0200}, author = {Luo, Weilin and Chen, Polong and Wan, Hai and Zhong, Hongzhen and Cai, Shaowei and Xiao, Zhanhao}, biburl = {https://www.bibsonomy.org/bibtex/2519bb69aad0b030a781060c318546c47/dblp}, ee = {https://doi.org/10.1016/j.jss.2024.112036}, interhash = {a3c4c66318db06960adb3e36f8e3844b}, intrahash = {519bb69aad0b030a781060c318546c47}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = 112036, timestamp = {2024-06-03T07:14:01.000+0200}, title = {Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss213.html#LuoCWZCX24}, volume = 213, year = 2024 }