scientific article; zbMATH DE number 2084701

zbMath1067.68668MaRDI QIDQ4475626

Moshe Y. Vardi, Alfonso San Miguel Aguirre

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390121.htm

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Implementing semantic merging operators using binary decision diagrams ⋮ Symbolic techniques in satisfiability solving ⋮ ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES ⋮ On the typical case complexity of graph optimization ⋮ ProCount: weighted projected model counting with graded project-join trees

Uses Software

• CUDD

This page was built for publication: