A Local Search Approach to Modelling and Solving Interval Algebra Problems
From MaRDI portal
Publication:4461354
DOI10.1093/logcom/14.1.93zbMath1085.68154MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Modelling and solving temporal reasoning as propositional satisfiability, Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class