Reduced Implicate Tries with Updates

DOI10.1093/LOGCOM/EXN068zbMATH Open1193.68088OpenAlexW2058101568MaRDI QIDQ3406691

Erik Rosenthal, Neil V. Murray

Publication date: 19 February 2010

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn068

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Title not available (Why is that?) 👍 👎
• An implicitization algorithm with fewer variables 👍 👎
• Improved behaviour of tries by adaptive branching 👍 👎
• Efficient query processing with reduced implicate tries 👍 👎
• Reducing the Number of Queries in Interactive Value Iteration 👍 👎
• Identifying Prime Implicate Branches in Reduced Implicate Tries 👍 👎
• Updating Reduced Implicate Tries 👍 👎

This page was built for publication: Reduced Implicate Tries with Updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3406691)