scientific article

zbMath1182.68267arXiv1109.6348MaRDI QIDQ3624006

No author found.

Publication date: 28 April 2009

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

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

zbMATH Keywords

Boolean formulasdelta-model

Mathematics Subject Classification ID

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

Related Items (1)

Reformulation based MaxSat robustness

This page was built for publication: