754 search results - page 47 / 151 » An Ordered Logic Program Solver |
130
click to vote
SAT
2010
Springer
15 years 9 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
181
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
142
click to vote
BIBM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
130
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
147
click to vote
ENTCS
2006
15 years 5 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...