A Local Search Approach to Modelling and Solving Interval Algebra Problems
From MaRDI portal
Publication:4461354
DOI10.1093/logcom/14.1.93zbMath1085.68154OpenAlexW2145234831MaRDI QIDQ4461354
No author found.
Publication date: 30 March 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10072/5165
Related Items (2)
Modelling and solving temporal reasoning as propositional satisfiability ⋮ Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
This page was built for publication: A Local Search Approach to Modelling and Solving Interval Algebra Problems
