A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.

Abdalrhman Mohamed Andrew Reynolds Clark W. Barrett Cesare Tinelli

Published in: FMCAD (2023)

Keyphrases

rule discovery
search procedure
pattern discovery
contrast set mining
data mining
optimal solution
data analysis
inductive logic programming
learning classifier systems
subgroup discovery
rule learning