output
20022026
most citedPublicly Available Clinical BERT Embeddings

732 citations

researchers with a paper here
collaborating institutions
Showing 2007 · cs.LOShow all

1 paper · 2 filters

cs.LO2007

Generalizing Consistency and other Constraint Properties to Quantified Constraints

Lucas Bordeaux, Marco Cadoli, Toni Mancini

Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual n…