The approximability of non-Boolean satisfiability problems and restricted integer programming

Maria Serna; Luca Trevisan; Fatos Xhafa

doi:10.1016/j.tcs.2004.10.014

The approximability of non-Boolean satisfiability problems and restricted integer programming

Theoretical Computer Science ◽

10.1016/j.tcs.2004.10.014 ◽

2005 ◽

Vol 332 (1-3) ◽

pp. 123-139 ◽

Cited By ~ 4

Author(s):

Maria Serna ◽

Luca Trevisan ◽

Fatos Xhafa

Keyword(s):

Integer Programming ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming

STACS 98 - Lecture Notes in Computer Science ◽

10.1007/bfb0028584 ◽

1998 ◽

pp. 488-498 ◽

Cited By ~ 8

Author(s):

Maria Serna ◽

Luca Trevisan ◽

Fatos Xhafa

Keyword(s):

Integer Programming ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3368085 ◽

2019 ◽

Vol 26 (2) ◽

pp. 68-71

Author(s):

Diogo Fernandes ◽

Carla Silva ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Detecting data store access conflict in Simulink by solving Boolean satisfiability problems

Proceedings of the 2010 American Control Conference ◽

10.1109/acc.2010.5531137 ◽

2010 ◽

Author(s):

Zhi Han ◽

Pieter J Mosterman

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems ◽

Data Store

Download Full-text

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

International Journal of Computational Intelligence Systems ◽

10.2991/ijcis.2017.10.1.55 ◽

2017 ◽

Vol 10 (1) ◽

pp. 824

Author(s):

Qingshan Chen ◽

Yang Xu ◽

Jun Liu ◽

Xingxing He

Keyword(s):

Learning Algorithm ◽

Boolean Satisfiability ◽

Logical Deduction ◽

Satisfiability Problems ◽

Clause Learning

Download Full-text

The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability

Journal of Discrete Algorithms ◽

10.1016/j.jda.2016.06.001 ◽

2016 ◽

Vol 37 ◽

pp. 68-83

Author(s):

Gerold Jäger ◽

Sharlee Climer ◽

Weixiong Zhang

Keyword(s):

Integer Programming ◽

Branch And Bound ◽

Haplotype Inference ◽

Boolean Satisfiability ◽

Inference Problem

Download Full-text

A NN algorithm for Boolean satisfiability problems

Proceedings of International Conference on Neural Networks (ICNN'96) ◽

10.1109/icnn.1996.549055 ◽

2002 ◽

Cited By ~ 1

Author(s):

W.M. Spears

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19835-9_14 ◽

2011 ◽

pp. 158-172 ◽

Cited By ~ 1

Author(s):

Tino Teige ◽

Martin Fränzle

Keyword(s):

Boolean Satisfiability ◽

Craig Interpolation ◽

Satisfiability Problems

Download Full-text

EVALUATION OF SERVICE-ORIENTED APPLICATION SCALABILITY FOR SOLVING BOOLEAN SATISFIABILITY PROBLEMS

Фундаментальные исследования (Fundamental Research) ◽

10.17513/fr.41974 ◽

2017 ◽

Vol 1 (№12 2017) ◽

pp. 25-32

Author(s):

V.G. Bogdanova ◽

S.A. Gorskiy

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems ◽

Service Oriented

Download Full-text

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings

Journal of Automated Reasoning ◽

10.1007/s10817-005-9011-0 ◽

2006 ◽

Vol 35 (1-3) ◽

pp. 143-179 ◽

Cited By ~ 10

Author(s):

Alan M. Frisch ◽

Timothy J. Peugniez ◽

Anthony J. Doggett ◽

Peter W. Nightingale

Keyword(s):

Local Search ◽

Boolean Satisfiability ◽

Stochastic Local Search ◽

Satisfiability Problems

Download Full-text

Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3386233 ◽

2020 ◽

Vol 26 (3) ◽

pp. 57-57

Author(s):

Diogo Fernandes ◽

Carla Silva ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text