Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic

Dusan Guller

doi:10.1109/tfuzz.2016.2637374

Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic

IEEE Transactions on Fuzzy Systems ◽

10.1109/tfuzz.2016.2637374 ◽

2018 ◽

Vol 26 (1) ◽

pp. 84-100

Author(s):

Dusan Guller

Keyword(s):

Gödel Logic ◽

Sat Solver

Download Full-text

An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule

Logic Colloquium '98 ◽

10.1017/9781316756140.008 ◽

2017 ◽

pp. 91-104 ◽

Cited By ~ 3

Author(s):

Matthias Baaz ◽

Helmut Veith

Keyword(s):

Gödel Logic

Download Full-text

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver

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

10.1007/11527695_26 ◽

2005 ◽

pp. 345-359 ◽

Cited By ~ 17

Author(s):

Marijn Heule ◽

Mark Dufour ◽

Joris van Zwieten ◽

Hans van Maaren

Keyword(s):

Look Ahead ◽

Sat Solver

Download Full-text

An Algebraic Study of S5-Modal Gödel Logic

Studia Logica ◽

10.1007/s11225-020-09934-x ◽

2021 ◽

Author(s):

Diego Castaño ◽

Cecilia Cimadamore ◽

José Patricio Díaz Varela ◽

Laura Rueda

Keyword(s):

Gödel Logic

Download Full-text

An Efficient Local Search SAT Solver with Effective Preprocessing for Structured Instances

SN Computer Science ◽

10.1007/s42979-021-00476-0 ◽

2021 ◽

Vol 2 (2) ◽

Author(s):

Md Shibbir Hossen ◽

Md Masbaul Alam Polash

Keyword(s):

Local Search ◽

Sat Solver

Download Full-text

A Pure Hardware k-SAT Solver for FPGA

2018 IEEE 5th International Congress on Information Science and Technology (CiSt) ◽

10.1109/cist.2018.8596454 ◽

2018 ◽

Cited By ~ 1

Author(s):

Khadija Bousmar

Keyword(s):

Sat Solver

Download Full-text

Automated Deduction in Gödel Logic

ACM Transactions on Computational Logic ◽

10.1145/3218817 ◽

2018 ◽

Vol 19 (3) ◽

pp. 1-28

Author(s):

Dušan Guller

Keyword(s):

Automated Deduction ◽

Gödel Logic

Download Full-text

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.32 ◽

2008 ◽

Cited By ~ 5

Author(s):

Armin Biere ◽

Robert Brummayer

Keyword(s):

Consistency Checking ◽

Sat Solver

Download Full-text

Towards optimal path encoding using SAT solver

10.1145/3405837.3411389 ◽

2020 ◽

Author(s):

Dong Guo ◽

Ying Zhang

Keyword(s):

Optimal Path ◽

Sat Solver

Download Full-text

ASIG: An all-solution SAT solver for CNF formulas

2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics ◽

10.1109/cadcg.2009.5246850 ◽

2009 ◽

Cited By ~ 5

Author(s):

Weinan Zhao ◽

Weimin Wu

Keyword(s):

Sat Solver ◽

Cnf Formulas

Download Full-text

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis

Lecture Notes in Computer Science - Cyber Security Cryptography and Machine Learning ◽

10.1007/978-3-030-49785-9_5 ◽

2020 ◽

pp. 62-84

Author(s):

Ling Sun ◽

David Gerault ◽

Adrien Benamira ◽

Thomas Peyrin

Keyword(s):

Machine Learning ◽

Sat Solver

Download Full-text