Islands for SAT
Artificial Intelligence
2007-05-23 v1
Abstract
In this note we introduce the notion of islands for restricting local search. We show how we can construct islands for CNF SAT problems, and how much search space can be eliminated by restricting search to the island.
Cite
@article{arxiv.cs/0607071,
title = {Islands for SAT},
author = {H. Fang and Y. Kilani and J. H. M. Lee and P. J. Stuckey},
journal= {arXiv preprint arXiv:cs/0607071},
year = {2007}
}
Comments
7 pages
Related papers
View all related →
Neural and Evolutionary Computing · Computer Science
Evolving difficult SAT instances thanks to local search
Olivier Bailleux
2010-11-29
Computational Complexity · Computer Science
A criterion for "easiness" of certain SAT problems
Bernd R. Schuh
2017-07-04
Artificial Intelligence · Computer Science
Local-search techniques for propositional logic extended with cardinality constraints
Lengning Liu, Miroslaw Truszczynski
2007-05-23
Computational Complexity · Computer Science
SAT for pedestrians
Bernd R. Schuh
2014-08-15
Artificial Intelligence · Computer Science
Toward an automaton Constraint for Local Search
Jun He, Pierre Flener, Justin Pearson
2009-10-08
High Energy Physics - Theory · Physics
Navigator Function for the Conformal Bootstrap
Marten Reehorst, Slava Rychkov, David Simmons-Duffin, Benoit Sirois +2
2021-09-29
Logic in Computer Science · Computer Science
Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer
2013-10-18
Data Structures and Algorithms · Computer Science
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting
Robert Ganian, M. S. Ramanujan, Stefan Szeider
2015-07-21
Quantum Physics · Physics
Local Search Methods for Quantum Computers
Tad Hogg, Mehmet Yanik
2007-05-23
Artificial Intelligence · Computer Science
SAT-based Circuit Local Improvement
Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin
2022-04-28
Software Engineering · Computer Science
Constrained locating arrays for combinatorial interaction testing
Hao Jin, Tatsuhiro Tsuchiya
2019-06-03
Data Structures and Algorithms · Computer Science
CNF Encodings of Cardinality Constraints Based on Comparator Networks
Michał Karpiński
2019-11-05
Data Structures and Algorithms · Computer Science
Phase transition for Local Search on planted SAT
Andrei A. Bulatov, Evgeny S. Skvortsov
2008-11-18
Combinatorics · Mathematics
On the enumeration of restricted words over a finite alphabet
Daniel Birmajer, Juan B. Gil, Michael D. Weiner
2016-01-05
Logic in Computer Science · Computer Science
Introducing Autarkies for DQCNF
Oliver Kullmann, Ankit Shukla
2019-07-30
Combinatorics · Mathematics
Elementary proof techniques for the maximum number of islands
János Barát, Péter Hajnal, Eszter K. Horváth
2009-10-27
Logic in Computer Science · Computer Science
Solving SAT By Computing A Stable Set Of Points In Clusters
Eugene Goldberg
2025-07-18
Computational Complexity · Computer Science
Hard instance generation for SAT
Satoshi Horie, Osamu Watanabe
2007-05-23
Artificial Intelligence · Computer Science
Decompositions of Grammar Constraints
Claude-Guy Quimper, Toby Walsh
2009-03-04
Combinatorics · Mathematics
The Local Lemma is asymptotically tight for SAT
Heidi Gebauer, Tibor Szabo, Gabor Tardos
2016-04-21
Data Structures and Algorithms · Computer Science
The fast parallel algorithm for CNF SAT without algebra
Carlos Barrón-Romero
2018-04-17
Artificial Intelligence · Computer Science
On Continuous Local BDD-Based Search for Hybrid SAT Solving
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
2021-06-15
Logic in Computer Science · Computer Science
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis, Stanley Osher +1
2025-06-03
Artificial Intelligence · Computer Science
Extending Modern SAT Solvers for Enumerating All Models
Said Jabbour, Lakhdar Sais, Yakoub Salhi
2013-05-08
Neural and Evolutionary Computing · Computer Science
Locally Imposing Function for Generalized Constraint Neural Networks - A Study on Equality Constraints
Linlin Cao, Ran He, Bao-Gang Hu
2016-04-19