Sign in

SAT-Based Combinational and Sequential Dependency Computation.

Mathias SoekenPascal RaiolaBaruch SterinBernd BeckerGiovanni De MicheliMatthias Sauer
Published in: Haifa Verification Conference (2016)
Keyphrases
  • answer set programming
  • domain specific
  • real time
  • planning problems
  • bounded model checking