ℹ️
🇬🇧
Search
Search for publications relevant for "CNF formulas"
CNF formulas
Publication
Class
Person
Publication
Programmes
publication
Generating clause sequences of a CNF formula
2021 |
Faculty of Mathematics and Physics
publication
On the size of CNF formulas with high propagation strength
2020 |
Faculty of Mathematics and Physics
publication
Learning a Propagation Complete Formula
2022 |
Faculty of Mathematics and Physics
publication
Solving difficult SAT instances using greedy clique decomposition
2007 |
Faculty of Mathematics and Physics
publication
Solving Difficult SAT Instances Using Greedy Clique Decomposition
2007 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the SLUR Class
2012 |
Faculty of Mathematics and Physics
publication
A decomposition method for CNF minimality proofs
2013 |
Faculty of Mathematics and Physics
publication
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
2014 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the Class of SLUR Formulae
2011 |
Faculty of Mathematics and Physics
publication
Generating Models of a Matched Formula With a Polynomial Delay
2016 |
Faculty of Mathematics and Physics
publication
Generating models of a matched formula with a polynomial delay
2016 |
Faculty of Mathematics and Physics
publication
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
2017 |
Faculty of Mathematics and Physics
publication
Properties of SLUR Formulae
2012 |
Faculty of Mathematics and Physics
publication
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
2019 |
Faculty of Mathematics and Physics
publication
Complexity Issues Related to Propagation Completeness
2013 |
Faculty of Mathematics and Physics