RUNNING TIME EXPERIMENTS ON SOME ALGORITHMS FOR SOLVING PROPOSITIONAL SATISFIABILITY PROBLEMS

Erstveröffentlichung
1995
Authors
Mayer, J
Mitterreiter, I
Radermacher, Franz J.
Wissenschaftlicher Artikel


Published in
Annals of Operations Research ; 55 (1995). - S. 139-178. - ISSN 0254-5330
Link to publication
https://dx.doi.org/10.1007/BF02031719
External cooperations
Forschungsinstitut für anwendungsorientierte Wissensverarbeitung (FAW)
Subject headings
[Free subject headings]: LOGIC PROGRAMMING | PERFORMANCE OF ALGORITHMS | PRACTICAL EVALUATION OF ALGORITHMS | PROPOSITIONAL LOGIC | SATISFIABILITY PROBLEM
[DDC subject group]: DDC 620 / Engineering & allied operations
Metadata
Show full item record