Works matching DE "SATISFIABILITY (Computer science)"
Results: 216
Differentiable Content Addressable Memory with Memristors.
- Published in:
- Advanced Electronic Materials, 2022, v. 8, n. 8, p. 1, doi. 10.1002/aelm.202101198
- By:
- Publication type:
- Article
MAX-SAT Problem using Hybrid Harmony Search Algorithm.
- Published in:
- Journal of Intelligent Systems, 2018, v. 27, n. 4, p. 643, doi. 10.1515/jisys-2016-0129
- By:
- Publication type:
- Article
SMT-based verification of data-aware processes: a model-theoretic approach.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 3, p. 271, doi. 10.1017/S0960129520000067
- By:
- Publication type:
- Article
Development of a Software Package of Smoothed Finite Element Method (S-FEM) for Solid Mechanics Problems.
- Published in:
- International Journal of Computational Methods, 2020, v. 17, n. 2, p. N.PAG, doi. 10.1142/S0219876218450044
- By:
- Publication type:
- Article
Almost APAL.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1350, doi. 10.1093/logcom/exac012
- By:
- Publication type:
- Article
Coalition logic with individual, distributed and common knowledge.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 7, p. 1041, doi. 10.1093/logcom/exv085
- By:
- Publication type:
- Article
Satisfiability for relation-changing logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1443, doi. 10.1093/logcom/exy022
- By:
- Publication type:
- Article
Accelerating LTL satisfiability checking by SAT solvers.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1011, doi. 10.1093/logcom/exy013
- By:
- Publication type:
- Article
Compactness in first-order Gödel logics.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 3, p. 473, doi. 10.1093/logcom/exs037
- By:
- Publication type:
- Article
Infinity, in short.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 6, p. 1391, doi. 10.1093/logcom/exr020
- By:
- Publication type:
- Article
Capacitated lot sizing problem with periodic carbon emission constraints and multiple resources.
- Published in:
- International Journal of Production Research, 2023, v. 61, n. 19, p. 6589, doi. 10.1080/00207543.2023.2224903
- By:
- Publication type:
- Article
Modified Artificial Immune System Algorithm with Elliot Hopfield Neural Network For 3-Satisfiability Programming.
- Published in:
- Journal of Informatics & Mathematical Sciences, 2019, v. 11, n. 1, p. 81, doi. 10.26713/jims.v11i1.1062
- By:
- Publication type:
- Article
Modified Artificial Immune System Algorithm with Elliot Hopfield Neural Network For 3-Satisfiability Programming.
- Published in:
- Journal of Informatics & Mathematical Sciences, 2019, v. 10, n. 4, p. 81, doi. 10.26713/jims.v11i1.1062
- By:
- Publication type:
- Article
Determination of Consistency between Quantitative Evaluation and Non-quantitative Evaluation.
- Published in:
- Journal of Donghua University (English Edition), 2023, v. 40, n. 3, p. 334, doi. 10.19884/j.1672-5220.202208002
- By:
- Publication type:
- Article
Possibilistic Networks: Computational Analysis of MAP and MPE Inference.
- Published in:
- International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600052
- By:
- Publication type:
- Article
Enhancing Static Symmetry Breaking with Dynamic Symmetry Handling in CDCL SAT Solvers.
- Published in:
- International Journal on Artificial Intelligence Tools, 2019, v. 28, n. 3, p. N.PAG, doi. 10.1142/S0218213019500118
- By:
- Publication type:
- Article
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 4, p. N.PAG, doi. 10.1142/S0218213018600011
- By:
- Publication type:
- Article
On the Glucose SAT Solver.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018400018
- By:
- Publication type:
- Article
On Admissible Consensuses.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018400043
- By:
- Publication type:
- Article
SAT-Based Data Mining.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S021821301840002X
- By:
- Publication type:
- Article
Preprocessing in Propositional Satisfiability Using Bounded (2, k)-Consistency on Regions with a Locally Difficult Constraint Setup.
- Published in:
- International Journal on Artificial Intelligence Tools, 2014, v. 23, n. 1, p. -1, doi. 10.1142/S0218213013500292
- By:
- Publication type:
- Article
Spectra and satisfiability for logics with successor and a unary function.
- Published in:
- Mathematical Logic Quarterly, 2018, v. 64, n. 4/5, p. 286, doi. 10.1002/malq.201500070
- By:
- Publication type:
- Article
Computational aspects of satisfiability in probability logic.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 444, doi. 10.1002/malq.201300015
- By:
- Publication type:
- Article
On the Relations Between Discrete and Continuous Complexity Theory.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 2, p. 281, doi. 10.1002/malq.19950410214
- By:
- Publication type:
- Article
Separation Logic with One Quantified Variable.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 2, p. 371, doi. 10.1007/s00224-016-9713-1
- By:
- Publication type:
- Article
Satisfiability of ECTL with Local Tree Constraints.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 2, p. 689, doi. 10.1007/s00224-016-9724-y
- By:
- Publication type:
- Article
On the Satisfiability of Quantum Circuits of Small Treewidth.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 2, p. 656, doi. 10.1007/s00224-016-9727-8
- By:
- Publication type:
- Article
Preface.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 2, p. 263, doi. 10.1007/s00224-015-9663-z
- By:
- Publication type:
- Article
Local Restrictions from the Furst-Saxe-Sipser Paper.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 1, p. 20, doi. 10.1007/s00224-016-9730-0
- By:
- Publication type:
- Article
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
- Published in:
- Theory of Computing Systems, 2015, v. 56, n. 2, p. 347, doi. 10.1007/s00224-014-9553-9
- By:
- Publication type:
- Article
Partition Into Triangles on Bounded Degree Graphs.
- Published in:
- Theory of Computing Systems, 2013, v. 52, n. 4, p. 687, doi. 10.1007/s00224-012-9412-5
- By:
- Publication type:
- Article
Unifying SAT-Based Approaches to Maximum Satisfiability Solving.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 931, doi. 10.1613/jair.1.15986
- By:
- Publication type:
- Article
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 1223, doi. 10.1613/jair.1.15333
- By:
- Publication type:
- Article
Computing Unsatisfiable Cores for LTL<sub>f </sub>Specifications.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 517, doi. 10.1613/jair.1.15313
- By:
- Publication type:
- Article
On Super Strong ETH.
- Published in:
- Journal of Artificial Intelligence Research, 2021, v. 70, p. 473, doi. 10.1613/jair.1.11859
- By:
- Publication type:
- Article
Constraint and Satisfiability Reasoning for Graph Coloring.
- Published in:
- Journal of Artificial Intelligence Research, 2020, v. 69, p. 33, doi. 10.1613/jair.1.11313
- By:
- Publication type:
- Article
Variable Elimination in Binary CSPs.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 589, doi. 10.1613/jair.1.11295
- By:
- Publication type:
- Article
Community Structure in Industrial SAT Instances.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 443, doi. 10.1613/jair.1.11741
- By:
- Publication type:
- Article
Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 85, doi. 10.1613/jair.1.11339
- By:
- Publication type:
- Article
Pitfalls and Best Practices in Algorithm Configuration.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 861, doi. 10.1613/jair.1.11420
- By:
- Publication type:
- Article
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 563, doi. 10.1613/jair.1.11395
- By:
- Publication type:
- Article
Linear Satisfiability Preserving Assignments.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 61, p. 291, doi. 10.1613/jair.5658
- By:
- Publication type:
- Article
A Decidable Extension of SROIQ with Complex Role Chains and Unions.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 809, doi. 10.1613/jair.4022
- By:
- Publication type:
- Article
Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination.
- Published in:
- Artificial Intelligence Review, 2018, v. 49, n. 3, p. 439, doi. 10.1007/s10462-016-9530-6
- By:
- Publication type:
- Article
Simple algorithm portfolio for SAT.
- Published in:
- Artificial Intelligence Review, 2013, v. 40, n. 4, p. 457, doi. 10.1007/s10462-011-9290-2
- By:
- Publication type:
- Article
The Dramatic True Story of the Frame Default.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 2, p. 163, doi. 10.1007/s10992-014-9332-8
- By:
- Publication type:
- Article
FAULT LOCATION USING SATISFIABILITY IN COMPLEX SYSTEMS.
- Published in:
- Journal of the Balkan Tribological Association, 2016, v. 22, n. 3-I, p. 2426
- By:
- Publication type:
- Article
A partitioning column approach for solving LED sorter manipulator path planning problems.
- Published in:
- Journal of Industrial & Management Optimization, 2022, v. 18, n. 3, p. 2033, doi. 10.3934/jimo.2021055
- By:
- Publication type:
- Article
Ergonomic Computer Workstation Design for University Teachers in Bangladesh.
- Published in:
- Jordan Journal of Mechanical & Industrial Engineering, 2019, v. 13, n. 2, p. 91
- By:
- Publication type:
- Article