72 citations · 368 across the 79 of their papers we have counts for
Showing 2008 · cs.AIShow all
2 papers · 2 filters
cs.AI2008★ 1 cited
Peek Arc Consistency
Manuel Bodirsky, Hubie Chen
This paper studies peek arc consistency, a reasoning technique that extends the well-known arc consistency technique for constraint satisfaction. In contrast to other more costly e…
cs.AI2008
A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning
Manuel Bodirsky, Jan Kara
We introduce a new tractable temporal constraint language, which strictly contains the Ord-Horn language of Buerkert and Nebel and the class of AND/OR precedence constraints. The a…