5506 search results - page 82 / 1102 » Minimal Logic Programs |
98
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
88
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
107
Voted
CADE
1992
Springer
15 years 4 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
95
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
124
click to vote
ICAI
2010
14 years 10 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...