Reduced Implicate Tries with Updates

DOI10.1093/LOGCOM/EXN068MaRDI QIDQ3406691zbMATH OpenOpenAlexFDO

Authors Neil V. Murray, Erik Rosenthal

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

• Updating Reduced Implicate Tries
• Efficient query processing with reduced implicate tries
• Improved behaviour of tries by adaptive branching
• Identifying prime implicate branches in reduced implicate tries
• Reducing the number of queries in interactive value iteration
• An implicitization algorithm with fewer variables
• scientific article; zbMATH DE number 1696841

Cited in

(4)

• Identifying prime implicate branches in reduced implicate tries
• Prime implicate tries
• Updating Reduced Implicate Tries
• Efficient query processing with 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)