亚历克西斯·德·科尔内
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [第11条] Leroy Chew公司 , 亚历克西斯·德·科尔内 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
分辨率和CDCL奇偶性随机重排序编码的硬度。 AAAI公司 2024 : 7978-7986 [i7] Leroy Chew公司 , 亚历克西斯·德·科尔内 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
分辨率和CDCL奇偶性随机重排序编码的硬度。 CoRR公司 abs/2402.00542 ( 2024 ) 2023 [j1] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
用短正则分辨率拒绝表征谢廷公式。 J.阿蒂夫。 智力。 物件。 76 : 265-286 ( 2023 ) [第10条] 亚历克西斯·德·科尔内 , 皮埃尔·马奎斯 :
用于XAI目的的ML模型之间的转换。 国际JCAI 2023 : 3158-3166 【c9】 亚历克西斯·德·科尔内 :
分离增量编译和非增量自底向上编译。 坐 2023 : 7:1-7:20 [i6] 亚历克西斯·德·科尔内 , 皮埃尔·马奎斯 :
关于从决策DNNF电路中枚举素数蕴涵的复杂性。 CoRR公司 abs/2301.13328 ( 2023 ) 2022 【c8】 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
自下而上知识编译中中间结果的下限。 AAAI公司 2022 : 5564-5572 [c7] 亚历克西斯·德·科尔内 , 皮埃尔·马奎斯 :
从决策DNNF回路中枚举素隐含子的复杂性。 国际JCAI 2022 : 2583-2590 【c6】 亚历克西斯·德·科尔内 , 皮埃尔·马奎斯 :
从决策DNNF回路中枚举素隐含子的复杂性。 ISAIM公司 2022 2021 【c5】 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
算术电路简洁结果的汇编。 韩国 2021 : 205-215 【c4】 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
用短正则分辨率拒绝表征谢廷公式。 坐 2021 : 116-133 [i5] 亚历克西斯·德·科尔内 :
伪布尔约束的DNNF编码的下限。 CoRR公司 abs/2101.01953 ( 2021 ) [i4] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
用短正则分辨率反驳刻画谢廷公式。 CoRR公司 abs/2103.09609 ( 2021 ) [i3] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
算术电路简洁结果的汇编。 CoRR公司 abs/2110.13014 ( 2021 ) [i2] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
自下而上知识汇编中中间结果的下界。 CoRR公司 abs/2112.12430 ( 2021 ) 2020 [c3] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
近似知识编译的下限。 国际JCAI 2020 : 1834-1840 【c2】 亚历克西斯·德·科尔内 :
伪布尔约束的DNNF编码的下限。 坐 2020 : 312-321 [i1] 亚历克西斯·德·科尔内 , 斯特凡·门格尔 :
近似知识编译的下限。 CoRR公司 abs/2011.13721 ( 2020 )
2010 – 2019
2019 【c1】 亚历克西斯·德·科尔内 , 库尔德普·S·梅尔 :
基于双重散列的离散积分算法。 人物配对关系 2019 : 161-176
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)