E xculpatory clauses extinguish or limit liability of a potentially culpable party through the use of disclaimer, assumption of risk and indemnification clauses as well as releases of liability. For decades, Florida courts have wrestled with issues relating to the enforcement of exculpatory clauses where liability arises from personal injury, real estate, construction, and commercial disputes. ...

Let F be a CNF formula with n variables and m clauses. F is 3-satisfiable if for any 3 clauses in F , there is a truth assignment which satisfies all of them. Lieberherr and Specker (1982) and, later, Yannakakis (1994) proved that in each 3-satisfiable CNF formula at least 2 3 of its clauses can be satisfied by a truth assignment. We improve this result by showing that every 3-satisfiable CNF f...

For several languages, a preference for subject relative clauses over object relative clauses has been reported. However, Mak, Vonk, and Schriefers (2002) showed that there is no such preference for relative clauses with an animate subject and an inanimate object. A Dutch object relative clause as . . .de rots, die de wandelaars beklommen hebben. . . (‘the rock, that the hikers climbed’) did no...

We study existence of a restricted least general generalization (LGG) with the property that LGGs of clauses from a pre-fixed set belong to this set. We show that there is no such LGG even in simple sets of clauses such as bounded-size clauses or treewidth-1 clauses.

In parallel MaxSAT solving, sharing learned clauses is expected to help to further prune the search space and boost the performance of a parallel solver. However, not all learned clauses should be shared since it could lead to an exponential blow up in memory and to sharing many irrelevant clauses. The main question is which learned clauses should be shared among the different threads. This pap...

Relative clauses have been implicated alternately as a strength and a weakness in the language of people with Williams Syndrome (WS). To clarify the facts, an elicited production test was administered to 10 people with WS (age 10 16 years), 10 typically developing children (age 4 7 years), and 12 typically developing adults. Nearly every WS participant successfully produced both subject gap (SG...