Abstract This paper presents a comparative syntactic account of participial adjuncts in German and English. While the typological literature describes as much more restricted than their English counterparts both syntactically semantically, this empirical evidence that these differences have been exaggerated. Based on corpus 3000 adjuncts, it is argued clause-like internal structure languages. P...

Abstract The paper has a specific and focused aim: to unveil possible route DOM, the crosslinguistically widely attested phenomenon whereby direct objects are introduced by preposition, with interpretive constraints. prepositional marker is ‘a’ in Italian (the majority of) Romance. investigation based on both comparative data from Romance some relevant experimental results acquisition of involv...

Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application areas like verification, diagnosis, planning, and design. Without clause learning, however, DPLL loses most of its effectiveness on real world problems. Recently there has been some work on obtaining a deeper understa...

Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simplify and compact such CNF formulas on the fly. Given a clause in a CNF formula, if a subset of its literals constitutes another clause in the formula, then the first clause is said to be subsumed by the second clause. ...