Works matching DE "SATISFIABILITY (Computer science)"
Results: 217
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
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
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
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
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1321, doi. 10.1007/s10270-022-00980-8
- By:
- Publication type:
- Article
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 4, p. 911, doi. 10.1007/s10270-020-00786-6
- By:
- Publication type:
- Article
Consolidation of database check constraints.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 3, p. 2111, doi. 10.1007/s10270-017-0637-2
- By:
- Publication type:
- Article
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1447, doi. 10.1007/s10270-017-0610-0
- By:
- Publication type:
- Article
Stochastic Enumeration Method for Counting Trees.
- Published in:
- Methodology & Computing in Applied Probability, 2017, v. 19, n. 1, p. 31, doi. 10.1007/s11009-015-9457-4
- By:
- Publication type:
- Article
Физика нанотран∝торов: объединение модели прохождения и модели виртуального истока -- модель MVS-прохождения
- Published in:
- Nanosistemi, Nanomateriali, Nanotehnologii, 2019, v. 17, n. 2, p. 255
- By:
- Publication type:
- Article
A Verified Implementation of the DPLL Algorithm in Dafny †.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 13, p. 2264, doi. 10.3390/math10132264
- 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
A class of hypergraphs and vertices of cut polytope relaxations.
- Published in:
- Doklady Mathematics, 2012, v. 85, n. 1, p. 46, doi. 10.1134/S1064562412010152
- 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
Technology of logical synthesis of periodic trajectory in a controlled Boolean network.
- Published in:
- Mathematics in Engineering, Science & Aerospace (MESA), 2024, v. 15, n. 1, p. 57
- By:
- Publication type:
- Article
Qualitative analysis of the dynamics of controlled singular logic networks.
- Published in:
- Mathematics in Engineering, Science & Aerospace (MESA), 2024, v. 15, n. 1, p. 31
- By:
- Publication type:
- Article
Satisfiability in Big Boolean Algebras via Boolean-Equation Solving.
- Published in:
- Journal of King Abdulaziz University: Engineering Sciences, 2017, v. 28, n. 1, p. 3, doi. 10.4197/Eng.28-1.1
- By:
- Publication type:
- Article
bsnsing: A Decision Tree Induction Method Based on Recursive Optimal Boolean Rule Composition.
- Published in:
- INFORMS Journal on Computing, 2022, v. 34, n. 6, p. 2908, doi. 10.1287/ijoc.2022.1225
- By:
- Publication type:
- Article
Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming.
- Published in:
- PLoS ONE, 2019, v. 14, n. 5, p. 1, doi. 10.1371/journal.pone.0215309
- By:
- Publication type:
- Article
Rapid Formal Verification as Requirements Stage Verification and Validation Technique.
- Published in:
- International Review on Computers & Software, 2019, v. 14, n. 1, p. 27, doi. 10.15866/irecos.v14i1.17684
- By:
- Publication type:
- Article
Modular norm models: practical representation and analysis of contractual rights and obligations.
- Published in:
- Requirements Engineering, 2020, v. 25, n. 3, p. 383, doi. 10.1007/s00766-019-00323-y
- By:
- Publication type:
- Article
Runtime optimization of a memory efficient CG solver for FFT-based homogenization: implementation details and scaling results for linear elasticity.
- Published in:
- Computational Mechanics, 2019, v. 64, n. 5, p. 1339, doi. 10.1007/s00466-019-01713-3
- By:
- Publication type:
- Article
Complexity Results for Modal Dependence Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 343, doi. 10.1007/s11225-013-9483-6
- By:
- Publication type:
- Article
Complexity Results of STIT Fragments.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 1001, doi. 10.1007/s11225-012-9445-4
- By:
- Publication type:
- Article
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2824, doi. 10.1093/comjnl/bxu127
- By:
- Publication type:
- Article
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2864, doi. 10.1093/comjnl/bxu135
- By:
- Publication type:
- Article
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2900, doi. 10.1093/comjnl/bxv001
- By:
- Publication type:
- Article
Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods.
- Published in:
- Journal of Combinatorial Designs, 2023, v. 31, n. 4, p. 205, doi. 10.1002/jcd.21876
- By:
- Publication type:
- Article
Flow latency analysis of component-based embedded software: Model and methodology.
- Published in:
- International Journal of Modeling, Simulation & Scientific Computing, 2014, v. 5, n. 4, p. -1, doi. 10.1142/S1793962314500184
- By:
- Publication type:
- Article
Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories.
- Published in:
- Computer Science & Information Systems, 2011, v. 8, n. 3, p. 693, doi. 10.2298/CSIS101019024Z
- By:
- Publication type:
- Article
AAAI News.
- Published in:
- 2019
- Publication type:
- Proceeding
The International SAT Solver Competitions.
- Published in:
- AI Magazine, 2012, v. 33, n. 1, p. 89, doi. 10.1609/aimag.v33i1.2395
- By:
- Publication type:
- Article
A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2019, v. 29, n. 4, p. 489, doi. 10.1142/S0218194019500219
- 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
Dynamic Obfuscation Algorithm based on Demand-Driven Symbolic Execution.
- Published in:
- Journal of Multimedia, 2014, v. 9, n. 6, p. 843, doi. 10.4304/jmm.9.6.843-850
- By:
- Publication type:
- Article
Time-free solution to SAT problem by P systems with active membranes and standard cell division rules.
- Published in:
- Natural Computing, 2015, v. 14, n. 4, p. 673, doi. 10.1007/s11047-014-9471-4
- By:
- Publication type:
- Article
Exploiting subproblem optimization in SAT-based MaxSAT algorithms.
- Published in:
- Journal of Heuristics, 2016, v. 22, n. 1, p. 1, doi. 10.1007/s10732-015-9300-7
- By:
- Publication type:
- Article
MERRIN: MEtabolic regulation rule INference from time series data.
- Published in:
- Bioinformatics, 2022, v. 38, p. ii127, doi. 10.1093/bioinformatics/btac479
- By:
- Publication type:
- Article
Multi‐step implicit Adams predictor‐corrector network for fire detection.
- Published in:
- IET Image Processing (Wiley-Blackwell), 2022, v. 16, n. 9, p. 2338, doi. 10.1049/ipr2.12491
- By:
- Publication type:
- Article
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
- Published in:
- Journal of Machine Learning Research, 2023, v. 24, p. 1
- By:
- Publication type:
- Article
Quadratic Decomposable Submodular Function Minimization: Theory and Practice.
- Published in:
- Journal of Machine Learning Research, 2020, n. 78-118, p. 1
- By:
- Publication type:
- Article