Search results

Articles (6)

Journals (0)

1-6 of 6 results for k-SAT problem

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2006-8

A Note on the Use of Independent Sets for the k -SAT Problem

Konstantin Kutzkov

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2025-8

The phase transition in random regular exact (3 s + s,k )-SAT problem

Ao Tang, Xiaofeng Wang, Qingyuan Peng [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2019

Applying Modern SAT-solvers to Solving Hard Problems

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk [...]

Fundamenta Informaticae

Open access

Research article

First published 2012-8

Satisfiability-based Set Membership Filters

Sean A. Weaver, Katrina J. Ray, Victor W. Marek [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2013-4

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

Robert Ganian, Petr Hliněný, Jan Obdržálek

Fundamenta Informaticae

Open access

Research article

First published 2012-8

Reweighted Belief Propagation and Quiet Planting for Random K -SAT

Florent Krzakala, Marc Mézard, Lenka Zdeborová

Journal on Satisfiability,Boolean Modelling and Computation