7 search results - page 1 / 2 » GAC Via Unit Propagation |
63
Voted
CP
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
87
Voted
ITSL
2008
15 years 10 days ago
2008
In this paper we present a randomized complexity theoretic model for those epidemics propagated via short-distance close contact. We prove that the contact-based epidemics problems...
AAAI
2006
15 years 10 days ago
2006
Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...
88
Voted
CDC
2009
IEEE
2009
IEEE
Robust stabilization of model-based uncertain singularly perturbed systems with networked time-delay
15 years 3 months ago
—In this paper, a robust stabilization of the uncertain singularly perturbed system via a networked state feedback with the transmission time-delay is addressed. Taking its nomin...
89
Voted
FLAIRS
2004
15 years 9 days ago
2004
We present results from experiments in using several pitch representations for jazz-oriented musical tasks performed by a recurrent neural network. We have run experiments with se...