Login / Signup

Certifying Inconsistency of Sparse Linear Systems.

Mark GiesbrechtAustin LoboB. David Saunders
Published in: ISSAC (1998)
Keyphrases
  • sparse linear systems
  • linear systems
  • integrity checking
  • classical logic
  • data sets
  • knowledge base
  • case study
  • search algorithm
  • multi objective
  • sufficient conditions