5506 search results - page 830 / 1102 » Minimal Logic Programs |
102
click to vote
AAAI
2007
15 years 4 months ago
2007
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
117
click to vote
AAAI
2007
15 years 4 months ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
109
click to vote
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
111
Voted
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
— A novel wave-pipelined global interconnect system is developed for reliable, high throughput, on-chip data communication. We argue that because there is only a single signal pr...
110
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...