(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems.

Published in: ARQNL@IJCAR (2022)

Keyphrases

management system
boolean functions
neural network
artificial intelligence
image sequences
intelligent systems
building blocks
systems require