Works matching DE "SATISFIABILITY (Computer science)"

Results: 219

A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.

Published in:

Theory & Practice of Logic Programming, 2025, v. 25, n. 3, p. 374, doi. 10.1017/S1471068424000140

By:

FRANCÈS DE MAS, JORDINA;
BOWLES, JULIANA

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:

Song, Bosheng;
Song, Tao;
Pan, Linqiang

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:

Vaisman, Radislav;
Kroese, Dirk

Publication type:

Article

ОПТИМІЗАЦІЙНІ ЗАДАЧІ ДЛЯ МАКСИМАЛЬНОГО k-ПЛЕКСА.

Published in:

Cybernetics & Systems Analysis / Kibernetiki i Sistemnyj Analiz, 2022, v. 58, n. 4, p. 46

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:

Andrici, Cezar-Constantin;
Ciobâcă, Ștefan

Publication type:

Article

Semi-Implicit and Semi-Explicit Adams-Bashforth-Moulton Methods.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 5, p. 780, doi. 10.3390/math8050780

By:

Tutueva, Aleksandra;
Karimov, Timur;
Butusov, Denis

Publication type:

Article

SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem.

Published in:

Electronics (2079-9292), 2025, v. 14, n. 3, p. 423, doi. 10.3390/electronics14030423

By:

Chang, Wenjing;
Liu, Wenlong

Publication type:

Article

Fractional Encoding of At-Most-K Constraints on SAT.

Published in:

Electronics (2079-9292), 2023, v. 12, n. 15, p. 3211, doi. 10.3390/electronics12153211

By:

Yonekura, Miki;
Nishimura, Shunji

Publication type:

Article

Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions.

Published in:

Electronics (2079-9292), 2020, v. 9, n. 7, p. 1060, doi. 10.3390/electronics9071060

By:

Yamane, Satoshi;
Kobashi, Junpei;
Uemura, Kosuke

Publication type:

Article

Conjunctive query containment over trees using schema information.

Published in:

Acta Informatica, 2018, v. 55, n. 1, p. 17, doi. 10.1007/s00236-016-0282-1

By:

Björklund, Henrik;
Martens, Wim;
Schwentick, Thomas

Publication type:

Article

A tool for deciding the satisfiability of continuous-time metric temporal logic.

Published in:

Acta Informatica, 2016, v. 53, n. 2, p. 171, doi. 10.1007/s00236-015-0229-y

By:

Bersani, Marcello;
Rossi, Matteo;
San Pietro, Pierluigi

Publication type:

Article

Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem.

Published in:

Journal of Graph Theory, 2025, v. 109, n. 4, p. 466, doi. 10.1002/jgt.23238

By:

Boros, Endre;
Gurvich, Vladimir;
Milanič, Martin;
Uno, Yushi

Publication type:

Article

Enhanced Walksat with Finite Learning Automata For MAX-SAT.

Published in:

International Journal of Combinatorial Optimization Problems & Informatics, 2014, v. 5, n. 3, p. 20

By:

Bouhmala, N.

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:

Tang, Lei;
Wang, Hanbo

Publication type:

Article

Modelling Uncertainty in Architectures of Parametric Component-Based Systems.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 6, p. 559, doi. 10.1142/S0129054123450028

By:

Pittou, Maria;
Rahonis, George

Publication type:

Article

NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 6, p. 667, doi. 10.1142/S0129054114500270

By:

ZHOU, JUNPING;
SU, WEIHUA;
WANG, JIANAN

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:

Milchior, Arthur

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:

Kuyper, Rutger

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:

Meer, Klaus

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:

Lu, Longlong;
Pan, Minxue;
Zhang, Tian;
Li, Xuandong

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:

Eder, Johannes;
Voss, Sebastian;
Bayha, Andreas;
Ipatiov, Alexandru;
Khalil, Maged

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:

Obrenović, Nikola;
Luković, Ivan;
Ristić, Sonja

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:

Guo, Jianmei;
Liang, Jia Hui;
Shi, Kai;
Yang, Dingyu;
Zhang, Jingsong;
Czarnecki, Krzysztof;
Ganesh, Vijay;
Yu, Huiqun

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:

Thuillier, Kerian;
Baroukh, Caroline;
Bockmayr, Alexander;
Cottret, Ludovic;
Paulevé, Loïc;
Siegel, Anne

Publication type:

Article

A predicate extension of real valued logic.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 585, doi. 10.1007/s00153-017-0558-3

By:

Baratella, Stefano

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:

Ali Rushdi, Ali M.;
Ahmad, Waleed

Publication type:

Article

Applying aspiration in local search for satisfiability.

Published in:

PLoS ONE, 2020, v. 15, n. 4, p. 1, doi. 10.1371/journal.pone.0231702

By:

Peng, Cong;
Xu, Zhongwei;
Mei, Meng

Publication type:

Article

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 766, doi. 10.1093/jigpal/jzz004

By:

Moss, Lawrence;
Martinez, Maricarmen;
Caicedo, Xavier;
Queiroz, Ruy de

Publication type:

Article

Two decision problems in Contact Logics.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 8, doi. 10.1093/jigpal/jzy016

By:

Balbiani, Philippe;
Gencer, Çiğdem;
Özdemir, Zafer

Publication type:

Article

From forcing to satisfaction in Kripke models of intuitionistic predicate logic.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 464, doi. 10.1093/jigpal/jzy007

By:

Abiri, Maryam;
Moniri, Morteza;
Zaare, Mostafa

Publication type:

Article

Complexity and expressivity of propositional dynamic logics with finitely many variables.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 539, doi. 10.1093/jigpal/jzy014

By:

Rybakov, Mikhail;
Shkatov, Dmitry

Publication type:

Article

Logics Modulo Theories: a logical framework for multi-agent systems.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 553, doi. 10.1093/jigpal/jzv002

By:

PEREZ CRUZ, LITO;
NEWSOME CROSSLEY, JOHN

Publication type:

Article

Reasoning about types of action and agent capabilities.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 703, doi. 10.1093/jigpal/jzs045

By:

Hartonas, Chrysafis

Publication type:

Article

Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 3, p. 407, doi. 10.1093/jigpal/jzs048

By:

Ajspur, Mai;
Goranko, Valentin;
Shkatov, Dmitry

Publication type:

Article

Connecting dynamic epistemic and temporal epistemic logics.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 3, p. 380, doi. 10.1093/jigpal/jzr038

By:

van Ditmarsch, Hans;
van der Hoek, Wiebe;
Ruan, Ji

Publication type:

Article

Complexity of logics for multi-agent systems with restricted modal context.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 3, p. 355, doi. 10.1093/jigpal/jzr040

By:

Dziubiński, Marcin

Publication type:

Article

Some new chiral and perturbed chiral solitary waves in quantum Hall effect.

Published in:

Journal of Algorithms & Computational Technology, 2023, v. 17, p. 1, doi. 10.1177/17483026231183375

By:

Al-Saleh, Dana;
Hassan, SZ;
Alomair, RA;
Abdelrahman, Mahmoud AE

Publication type:

Article

ON THE COMPLEXITY OF (RESTRICTED) ALCIr.

Published in:

Publications de l'Institut Mathématique, 2014, v. 95, n. 109, p. 133, doi. 10.2298/PIM1409133M

By:

Mosurović, Milenko;
Zakharyaschev, Michael

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:

Ihalainen, Hannes;
Berg, Jeremias;
Järvisalo, Matti

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:

Jabs, Christoph;
Berg, Jeremias;
Niskanen, Andreas;
Järvisalo, Matti

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:

Roveri, Marco;
Di Ciccio, Claudio;
Di Francescomarino, Chiara;
Ghidini, Chiara

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:

Vyas, Nikhil;
Williams, Ryan

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:

Hebrard, Emmanuel;
Katsirelos, George

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:

Cooper, Martin C.;
El Mouelhi, Achref;
Terrioux, Cyril

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:

Ansótegui, Carlos;
Bonet, Maria Luisa;
Giráldez-Cru, Jesús;
Levy, Jordi;
Simon, Laurent

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:

Karapetyan, Daniel;
Parkes, Andrew J.;
Gutin, Gregory;
Gagarin, Andrei

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:

Eggensperger, Katharina;
Lindauer, Marius;
Hutter, Frank

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:

Bienvenu, Meghyn;
Bourgaux, Camille;
Goasdoué, François

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:

Kei Kimura;
Kazuhisa Makino

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:

Mosurovic, Milenko;
Krdzavac, Nenad;
Graves, Henson;
Zakharyaschev, Michael

Publication type:

Article