637 search results - page 71 / 128 » Inconsistency-Tolerant Integrity Checking |
147
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
136
Voted
CADE
2003
Springer
16 years 3 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
111
Voted
ICCAD
2001
IEEE
16 years 15 days ago
2001
IEEE
— Modern sub-micron VLSI designs include huge power grids that are required to distribute large amounts of current, at increasingly lower voltages. The resulting voltage drop on ...
95
Voted
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
117
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...