248 search results - page 5 / 50 » Circuit-based Boolean Reasoning |
CPAIOR
2007
Springer
14 years 2 months ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
DLOG
2003
13 years 9 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
WSCG
2003
13 years 9 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer