scientific article

zbMath0979.68068MaRDI QIDQ2751046

Michael L. Littman, Stephen M. Majercik, Toniann Pitassi

Publication date: 21 October 2001

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

zbMATH Keywords

satisfiability problems

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) General topics in artificial intelligence (68T01)

Related Items (2)

Unnamed Item ⋮ The complexity of counting models of linear-time temporal logic

This page was built for publication: