Login / Signup
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.
Chris Johannsen
Brian Kempa
Phillip H. Jones
Kristin Y. Rozier
Tichakorn Wongpiromsarn
Published in:
FMICS (2023)
Keyphrases
</>
computational complexity
domain specific
constraint satisfaction
constrained optimization
data sets
neural network
search algorithm
pairwise
co occurrence
domain experts
formal specification
specification language
encoding scheme