Modelling and solving temporal reasoning as propositional satisfiability

DOI10.1016/j.artint.2008.06.003zbMath1184.68485OpenAlexW2145603219MaRDI QIDQ2389682

Could not fetch data.

Publication date: 17 July 2009

Published in: (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/26367

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.