Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very begi...

Software model checking is the algorithmic analysis of programs to prove properties of their executions. It traces its roots to logic and theorem prov...

The frequency dependence of acoustic wave attenuation in a composite piezoelectric microwave resonator is studied by acoustic resonance spectroscopy....

Reputation systems provide mechanisms to produce a metric encapsulating reputation for a given domain for each identity within the system. These syst...

An emerging area of research studies the complexity of constraint satisfaction problems under restricted constraint languages. This article gives a s...