Guiding SAT Solving by Formula Partitioning
METADATA ONLY
Loading...
Author / Producer
Date
2017-08
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Volume
26 (4)
Pages / Article No.
1750011
Publisher
World Scientific
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
VSIDS; formula partitioning; Boolean satisfiability; hypergraph partitioning; divide-and-conquer; SAT