会议论文

1 Comparing ASP and CP on Four Grid Puzzles [会议论文]

作者:Mehmet C elik;Halit Erdogan;Frat Tahaoglu;等

会议时间:

摘要

2 Flexible Plan Verification: Feasibility Results [会议论文]

作者:A. Cesta1, A. Finzi2, S. Fratini1, A. Orlandini3, and E. Tronci4 1 ISTC-CNR, Via S.Martino della Battaglia 44, I-00185 Rome, Italy;Via Cinthia;I-80126 Naples;等

会议时间:

预览 | 原文链接 | 全文 [ 浏览：1 下载：2 ]

摘要

3 A structural approach to reasoning with quantified Boolean formulas ? [会议论文]

作者:Luca Pulina, Armando Tacchella

会议时间:

预览 | 原文链接 | 全文 [ 浏览：1 下载：2 ]

摘要

4 Solving hypertree structured CSP : Sequential and parallel approaches [会议论文]

作者:Mohammed Lalou 1;Zineb Habbas 2;Kamal Amroun 3;等

会议时间:

预览 | 原文链接 | 全文 [ 浏览：1 下载：2 ]

摘要

5 Advanced Heuristics for Parallel ASP Instantiation [会议论文]

作者:Simona Perri1, Francesco Ricca1, Marco Sirianni1

会议时间:

预览 | 原文链接 | 全文 [ 浏览：1 下载：3 ]

摘要

6 Restoring CSP Satisfiability with MaxSAT? [会议论文]

作者:Ineˆs Lynce1;Joao Marques-Silva2;University College Dublin;等

会议时间:

预览 | 原文链接 | 全文 [ 浏览：1 下载：2 ]

摘要