Sciweavers

PACT
2015
Springer

Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem

7 years 11 months ago
Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem
Alexander Semenov, Oleg Zaikin
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PACT
Authors Alexander Semenov, Oleg Zaikin
Comments (0)