Cadastre is the essential land register and the basis for many services in the area of land administration and land management. Although European parcel based cadastral system is used in many countries, differences in business processes between countries exist. Through a long period of time these differences have been adapting to development of technology, legislation and other conditions withi...

Regular-SAT is a constraint programming language between CSP and SAT that—by combining many of the good properties of each paradigm—offers a good compromise between performance and expressive power. Its similarity to SAT allows us to define a uniform encoding formalism, to extend existing SAT algorithms to Regular-SAT without incurring excessive overhead in terms of computational cost, and to i...

This paper explores the difference between parallel and serial queries to an NP-complete oracle, SAT, from the perspective of functions with a limited number of output bits. For polynomial-time bounded query language classes, which can be considered as functions with 1-bit output, previous work has shown that 2 serial queries to SAT is equivalent to 3 parallel queries to SAT. In contrast, for f...

Symmetry is a topic studied by both the Satisfiability (SAT) and the Constraint Programming (CP) community. However, few attempts at transferring results between both communities have been made. This paper makes the link by investigating how symmetries from Constraint Satisfaction Problems (CSPs) transfer to symmetries of their SAT encodings. We point out that important symmetry groups studied ...

This paper serves as solver description for our SAT solver Lingeling and its two parallel variants Treengeling and Plingeling entering the SAT Competition 2013. We only list important differences to the version of these solvers used in the SAT Challenge 2012. For further information we refer to the solver description [1] of the SAT Challenge 2012 or source code.

Johannes Dietrich MSc Researcher, Technische Universität Berlin, Berlin, Germany Frank Becker Project Manager, Technische Universität Berlin, Berlin, Germany Thomas Nittka Dr.-Ing. Manager, tricom GmbH, Berlin, Germany Matthias Wabbels Manager, tricom GmbH, Berlin, Germany Dan Modoran Eng. Partner, Greentronics, Alexandria, Romania Cristian Aionesei Eng. Partner, Greentronics, Alexandria, Roman...

The detection of anthropogenic climate change in observations and the validation of climate models both rely on understanding natural climate variability. To evaluate internal climate variability, we apply spectral analysis to time series of surface air temperature (SAT) from nine coupled general circulation model (GCM) simulations, three recent global paleotemperature reconstructions, and Nort...

conclusions according to the results, brucellosis has remained endemic in this region. most cases were detected by elisa igg. the highest kappa agreements were between tests krb-sat, krb-igg and ksat-igg, while the lowest levels of agreement were between tests sat-igm and elisa igm-igg. considering that elisa igm results are covered by sat and elisa igg test results, applications of this test d...