5506 search results - page 57 / 1102 » Minimal Logic Programs |
105
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
103
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
107
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
AMAI
2006
Springer
15 years 23 days ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
100
Voted
ISPD
1998
ACM
15 years 5 months ago
1998
ACM
It is shown that the oorplan area minimization problem can be formulated as a convex programming problem with the numbers of variables and constraints signi cantly less than those...