MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\mathcal{O}(2^n)$ Time

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing - SAT 2006 ◽

10.1007/11814948_26 ◽

2006 ◽

pp. 266-276 ◽

Cited By ~ 13

Author(s):

Evgeny Dantsin ◽

Alexander Wolpert

Keyword(s):

Max Sat

Download Full-text

DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems

2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) ◽

10.1109/bicta.2010.5645331 ◽

2010 ◽

Author(s):

Souhila Sadeg ◽

Habiba Drias ◽

Hafid Aid ◽

Samir Mazouz

Keyword(s):

Max Sat

Download Full-text

Model-based diagnosis with default information implemented through MAX-SAT technology

2012 IEEE 13th International Conference on Information Reuse & Integration (IRI) ◽

10.1109/iri.2012.6302987 ◽

2012 ◽

Cited By ~ 1

Author(s):

Dominique D'Almeida ◽

Eric Gregoire

Keyword(s):

Model Based ◽

Max Sat

Download Full-text

Improved exact algorithms for mildly sparse instances of Max SAT

Theoretical Computer Science ◽

10.1016/j.tcs.2017.07.011 ◽

2017 ◽

Vol 697 ◽

pp. 58-68

Author(s):

Takayuki Sakai ◽

Kazuhisa Seto ◽

Suguru Tamaki ◽

Junichi Teruyama

Keyword(s):

Exact Algorithms ◽

Max Sat

Download Full-text

The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

Lecture Notes in Computer Science - Artificial Intelligence XXXVII ◽

10.1007/978-3-030-63799-6_4 ◽

2020 ◽

pp. 49-63

Author(s):

Marius Urbonas ◽

Alan Bundy ◽

Juan Casanova ◽

Xue Li

Keyword(s):

Optimal Choice ◽

Max Sat

Download Full-text

WalkSAT Based-Learning Automata for MAX-SAT

Recent Advances in Soft Computing - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-58088-3_10 ◽

2017 ◽

pp. 98-110 ◽

Cited By ~ 1

Author(s):

N. Bouhmala ◽

M. Oseland ◽

Ø. Brådland

Keyword(s):

Learning Automata ◽

Max Sat

Download Full-text

Searching a Multivariate Partition Space Using MAX-SAT

Computational Intelligence Methods for Bioinformatics and Biostatistics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14571-1_18 ◽

2010 ◽

pp. 240-253

Author(s):

Silvia Liverani ◽

James Cussens ◽

Jim Q. Smith

Keyword(s):

Partition Space ◽

Max Sat

Download Full-text

On Inconsistent Clause-Subsets for Max-SAT Solving

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_18 ◽

2007 ◽

pp. 225-240 ◽

Cited By ~ 6

Author(s):

Sylvain Darras ◽

Gilles Dequen ◽

Laure Devendeville ◽

Chu-Min Li

Keyword(s):

Sat Solving ◽

Max Sat

Download Full-text

Approximating Weighted Max-SAT Problems by Compensating for Relaxations

Principles and Practice of Constraint Programming - CP 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04244-7_19 ◽

2009 ◽

pp. 211-225 ◽

Cited By ~ 6

Author(s):

Arthur Choi ◽

Trevor Standley ◽

Adnan Darwiche

Keyword(s):

Max Sat

Download Full-text

Natural Max-SAT Encoding of Min-SAT

Lecture Notes in Computer Science - Learning and Intelligent Optimization ◽

10.1007/978-3-642-34413-8_40 ◽

2012 ◽

pp. 431-436 ◽

Cited By ~ 7

Author(s):

Adrian Kügel

Keyword(s):

Sat Encoding ◽

Max Sat

Download Full-text

Towards Default Reasoning through MAX-SAT

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-36127-8_6 ◽

2002 ◽

pp. 52-62 ◽

Cited By ~ 1

Author(s):

Berilhes Borges Garcia ◽

Samuel M. Brasil

Keyword(s):

Default Reasoning ◽

Max Sat

Download Full-text