2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2016
Event Selection Rules to Compute Explanations
Charles Prud'homme, Xavier Lorca, Narendra Jussien
Explanations have been introduced in the previous century. Their interest in reducing the search space is no longer questioned. Yet, their efficient implementation into CSP solver…
cs.SE2002★ 2 cited
COINS: a constraint-based interactive solving system
Samir Ouis, Narendra Jussien, Patrice Boizumault
This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint addit…