scholarly journals Generalized satisfiability problems via operator assignments

2019 ◽  
Vol 105 ◽  
pp. 171-198
Author(s):  
Albert Atserias ◽  
Phokion G. Kolaitis ◽  
Simone Severini
Keyword(s):  
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

scholarly journals On the Performance of Congestion Games for Optimum Satisfiability Problems

2007 ◽  
pp. 220-231 ◽  
Author(s):  
Aristotelis Giannakos ◽  
Laurent Gourvès ◽  
Jérôme Monnot ◽  
Vangelis Th. Paschos
Keyword(s):  
Congestion Games ◽  
Satisfiability Problems
Sign in / Sign up

Export Citation Format

Share Document