Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Flexible Solver for Finite Arithmetic Circuits - MaRDI portal

A Flexible Solver for Finite Arithmetic Circuits

From MaRDI portal

Publication:5398084

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2012.425zbMATH Open1281.68201OpenAlexW1535774026MaRDI QIDQ5398084

Nathaniel Wesley Filardo, Jason Eisner

Publication date: 25 February 2014

Full work available at URL: https://doi.org/10.4230/lipics.iclp.2012.425

zbMATH Keywords

logic programming arithmetic circuits memoization view maintenance

Mathematics Subject Classification ID

Applications of graph theory (05C90) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems

This page was built for publication: A Flexible Solver for Finite Arithmetic Circuits

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5398084&oldid=20130587"