11345 search results - page 1746 / 2269 » Foundations of Computer Science |
149
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
149
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
SMTābuilding ļ¬exible yet efļ¬cient abstraction/reļ¬nement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23ā37, February 2010. Wolfgang Hab...
158
click to vote
LATINCRYPT
2010
15 years 4 months ago
2010
We consider the following problem: can we construct constant-round zero-knowledge proofs (with negligible soundness) for NP assuming only the existence of one-way permutations? We...
179
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
128
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A classical debate in economics addresses the advantages and drawbacks of modelling from a macroeconomics perspective as opposed to modelling from a microeconomics perspe...