754 search results - page 47 / 151 » An Ordered Logic Program Solver |
86
Voted
SAT
2010
Springer
15 years 4 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...
134
Voted
ASP
2005
Springer
15 years 6 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”...
101
Voted
BIBM
2009
IEEE
15 years 5 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...
84
Voted
CORR
2002
Springer
15 years 12 days ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
101
click to vote
ENTCS
2006
15 years 18 days 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...