Programming in Propositional Logic or Reductions: Back to the Roots (Satisfiability)

Authors:
Hermann Stamm-Wilbrandt
Affiliations:
-
Venue:
Programming in Propositional Logic or Reductions: Back to the Roots (Satisfiability)
Year:
1993

Speeding up model-based diagnosis by a heuristic approach to solving SAT

AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
On Some Aspects of Mixed Horn Formulas

SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Finding the description of structure by counting method: a case study

SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science

Hi-index	0.00