Solving satisfiability and implication problems in database systems

被引：0

|

作者：

Florida Int Univ, Miami, United States ^{[1
]}

机构：

来源：

ACM Trans Database Syst | / 2卷 / 270-293期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Solving Boolean Satisfiability Problems With The Quantum Approximate Optimization Algorithm
Boulebnane, Sami
Montanaro, Ashley
PRX QUANTUM, 2024, 5 (03):
[32] Solving incremental satisfiability
Mouhoub, Malek
Sadaoui, Samira
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (01) : 139 - 147
[33] Combining cellular genetic algorithms and local search for solving satisfiability problems
Folino, G
Pizzuti, C
Spezzano, G
TENTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 192 - 198
[34] RUNNING TIME EXPERIMENTS ON SOME ALGORITHMS FOR SOLVING PROPOSITIONAL SATISFIABILITY PROBLEMS
MAYER, J
MITTERREITER, I
RADERMACHER, FJ
ANNALS OF OPERATIONS RESEARCH, 1995, 55 : 139 - 178
[35] Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems
Kilani, Yousef
APPLIED SOFT COMPUTING, 2010, 10 (01) : 198 - 207
[36] Correctness of Solving Query-Answering Problems Using Satisfiability Solvers
Akama, Kiyoshi
Nantajeewarawat, Ekawit
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,, 2013, 7802 : 404 - 413
[37] Detecting Hardware Trojans in Unspecified Functionality Through Solving Satisfiability Problems
Fern, Nicole
San, Ismail
Cheng, Kwang-Ting
2017 22ND ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2017, : 598 - 604
[38] APPLICATION OF INFORMATION-RETRIEVAL SYSTEMS IN SOLVING DATABASE-MANAGEMENT PROBLEMS
RUDKEVICH, AV
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1986, (05): : 21 - 23
[39] A two-phase algorithm for solving a class of hard satisfiability problems
Warners, JP
van Maaren, H
OPERATIONS RESEARCH LETTERS, 1998, 23 (3-5) : 81 - 88
[40] Retrospective database analysis: Causing problems as solving problems
Pasquale, MD
Trostle, DR
Sherwin, GP
DISEASES OF THE COLON & RECTUM, 1998, 41 (02) : 261 - 262

← 1 2 3 4 5 →