Augmenting All Solution SAT Solving for Circuits with Structural Information.

Abraham Temesgen Tibebu Görschwin Fey

Published in: DDECS (2018)

Keyphrases

structural information
sat solving
structural similarity
structural features
sat solvers
orders of magnitude
semantic information
special case
information retrieval
state space
machine learning
knowledge representation
evolutionary algorithm
search tree
optimal solution
high level
boolean satisfiability