7167 search results - page 288 / 1434 » Answer Set Programming |
121
click to vote
IPL
2008
15 years 2 months ago
2008
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
117
Voted
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
124
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
110
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
126
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...