Algorithmics of propositional satisfiability problems

1996 ◽  
pp. 5-22
Author(s):  
E. Ya. Dantsin
Keyword(s):  
Propositional Satisfiability ◽  
Satisfiability Problems

Running time experiments on some algorithms for solving propositional satisfiability problems

1995 ◽  
Vol 55 (1) ◽  
pp. 139-178 ◽  
Author(s):  
Joachim Mayer ◽  
Ilse Mitterreiter ◽  
Franz Josef Radermacher
Keyword(s):  
Propositional Satisfiability ◽  
Running Time ◽  
Satisfiability Problems

Solving propositional satisfiability problems

1990 ◽  
Vol 1 (1-4) ◽  
pp. 167-187 ◽  
Author(s):  
Robert G. Jeroslow ◽  
Jinchang Wang
Keyword(s):  
Propositional Satisfiability ◽  
Satisfiability Problems

scholarly journals Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

2013 ◽  
Vol 123 (1) ◽  
pp. 59-76 ◽  
Author(s):  
Robert Ganian ◽  
Petr Hliněný ◽  
Jan Obdržálek
Keyword(s):  
Satisfiability Problems ◽  
Bounded Rank
Sign in / Sign up

Export Citation Format

Share Document