ℹ️
🇬🇧
Search
Search for publications relevant for "unit resolution"
unit resolution
Publication
Class
Person
Publication
Programmes
publication
Properties of SLUR Formulae
2012 |
Faculty of Mathematics and Physics
publication
Classes of Boolean Formulae with Effectively Solvable SAT
2010 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the SLUR Class
2012 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the Class of SLUR Formulae
2011 |
Faculty of Mathematics and Physics
publication
On the size of CNF formulas with high propagation strength
2020 |
Faculty of Mathematics and Physics