Pinned Repositories
2015-Electronical-Competition-Code---Renesas-Cup
2015年电子设计竞赛-本科组“瑞萨杯”-风力摆系统-大连理工大学
AI_note
C-sharp_PC2MCU_Draw
c#做的综合上位机，服务于freescale智能车&电子设计
cpp_code_snippets
Freescale_9th_BalanceCar
2014年全国“飞思卡尔”智能汽车竞赛国家一等奖代码-大连理工大学-凌立印象队
future_net
2016华为软件精英挑战赛冠军
hangzhou_house_knowledge
2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.
ryu
Ryu component-based software defined networking framework
UWrMaxSat
UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instances and pseudo-Boolean ones. It incrementally uses COMiniSatPS by Chanseok Oh (2016) as an underlying SAT solver, but may be compiled with other MiniSat-like solvers. It was developed on the top of our PB-solver (called kp-minisatp) that was presented at Pragmatics of SAT 2018 and which is an extension of the well-known MiniSat+ solver. In its main configuration, UWrMaxSat applies an unsatisfiability-core-based OLL procedure and uses the kp-minisatp sorter-based pseudo-Boolean constraint encoding to translate new cardinality constraints into CNF.
wangdongxuking61's Repositories
wangdongxuking61/Freescale_9th_BalanceCar
2014年全国“飞思卡尔”智能汽车竞赛国家一等奖代码-大连理工大学-凌立印象队
wangdongxuking61/ryu
Ryu component-based software defined networking framework
wangdongxuking61/2015-Electronical-Competition-Code---Renesas-Cup
2015年电子设计竞赛-本科组“瑞萨杯”-风力摆系统-大连理工大学
wangdongxuking61/future_net
2016华为软件精英挑战赛冠军
wangdongxuking61/C-sharp_PC2MCU_Draw
c#做的综合上位机，服务于freescale智能车&电子设计
wangdongxuking61/AI_note
wangdongxuking61/hangzhou_house_knowledge
2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.
wangdongxuking61/cpp_code_snippets
wangdongxuking61/UWrMaxSat
UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instances and pseudo-Boolean ones. It incrementally uses COMiniSatPS by Chanseok Oh (2016) as an underlying SAT solver, but may be compiled with other MiniSat-like solvers. It was developed on the top of our PB-solver (called kp-minisatp) that was presented at Pragmatics of SAT 2018 and which is an extension of the well-known MiniSat+ solver. In its main configuration, UWrMaxSat applies an unsatisfiability-core-based OLL procedure and uses the kp-minisatp sorter-based pseudo-Boolean constraint encoding to translate new cardinality constraints into CNF.
wangdongxuking61/blog
My Blog / Jekyll Themes / PWA
wangdongxuking61/leetcode
wangdongxuking61/note
wangdongxuking61/SuperClassTable