2032 search results - page 13 / 407 » Encodings of the Sequence Constraint |
SAT
2004
Springer
14 years 23 days ago
2004
Springer
The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the unobservability of logic blocks is encoded with CNF unobservabil...
ISCAS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
TIT
2008
13 years 7 months ago
2008
Abstract--We generalize the Gel'fand
SAT
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We define new encodings from Max-CSP into Partial MaxSAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality co...