scientific article; zbMATH DE number 2243387
From MaRDI portal
Publication:5715700
zbMath1081.90074arXiv1109.2131MaRDI QIDQ5715700
No author found.
Publication date: 4 January 2006
Full work available at URL: https://arxiv.org/abs/1109.2131
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Partition search for non-binary constraint satisfaction ⋮ Applying ad-hoc global constraints with the case constraint to still-life ⋮ A logical approach to efficient Max-SAT solving ⋮ Domain permutation reduction for constraint satisfaction problems ⋮ Semantic forgetting in answer set programming ⋮ Peridynamic differential operator and its applications ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ On the limits of forgetting in answer set programming ⋮ Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ A complete solution to the maximum density still life problem ⋮ A model of three-way decisions for knowledge harnessing ⋮ Forgetting in ASP: The Forgotten Properties
This page was built for publication:
