C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.
Cristian Molinaro
Amy Sliva
V. S. Subrahmanian
Published in:
ACM Trans. Comput. Log. (2014)
Keyphrases
</>
temporal logic
optimal solution
search algorithm