scientific article

zbMath1182.68235arXiv1111.0044MaRDI QIDQ3624106

Carmel Domshlak, Jörg Hoffmann

Publication date: 28 April 2009

Full work available at URL: https://arxiv.org/abs/1111.0044

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Conformant-FFProbabilistic-FF

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (13)

On computing minimal independent support and its applications to sampling and counting ⋮ Approximate Model Counting via Extension Rule ⋮ Practically uniform solution sampling in constraint programming ⋮ Exact stochastic constraint optimisation with applications in network analysis ⋮ Exploiting Database Management Systems and Treewidth for Counting ⋮ Solving projected model counting by utilizing treewidth and its limits ⋮ Unnamed Item ⋮ Two approximate algorithms for model counting ⋮ Robust planning with incomplete domain models ⋮ Set-structured and cost-sharing heuristics for classical planning ⋮ Unnamed Item ⋮ Advanced SMT techniques for weighted model integration ⋮ Approximate weighted model integration on DNF structures

Uses Software

• Graphplan

This page was built for publication: