Works matching DE "SATISFIABILITY (Computer science)"

Results: 217

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:

Deng, Zhen;
Hu, Shuhao;
Yin, Shibai;
Wang, Yibin;
Basu, Anup;
Cheng, Irene

Publication type:

Article

Advances in computational morphodynamics using the International River Interface Cooperative (iRIC) software.

Published in:

Earth Surface Processes & Landforms, 2020, v. 45, n. 1, p. 11, doi. 10.1002/esp.4653

By:

Shimizu, Yasuyuki;
Nelson, Jonathan;
Arnez Ferrel, Kattia;
Asahi, Kazutake;
Giri, Sanjay;
Inoue, Takuya;
Iwasaki, Toshiki;
Jang, Chang‐Lae;
Kang, Taeun;
Kimura, Ichiro;
Kyuka, Tomoko;
Mishra, Jagriti;
Nabi, Mohamed;
Patsinghasanee, Supapap;
Yamaguchi, Satomi

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:

Abu Doush, Iyad;
Quran, Amal Lutfi;
Al-Betar, Mohammed Azmi;
Awadallah, Mohammed A.

Publication type:

Article

A fast direct solver for surface-based whole-head modeling of transcranial magnetic stimulation.

Published in:

Scientific Reports, 2023, v. 13, n. 1, p. 1, doi. 10.1038/s41598-023-45602-5

By:

Makaroff, S. N.;
Qi, Z.;
Rachh, M.;
Wartman, W. A.;
Weise, K.;
Noetscher, G. M.;
Daneshzand, M.;
Deng, Zhi-De;
Greengard, L.;
Nummenmaa, A. R.

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:

Niu, R. P.;
Liu, G. R.;
Yue, J. H.

Publication type:

Article

Modeling high school timetabling with bitvectors.

Published in:

Annals of Operations Research, 2017, v. 252, n. 2, p. 215, doi. 10.1007/s10479-016-2220-6

By:

Demirović, Emir;
Musliu, Nysret

Publication type:

Article

What we can learn from conflicts in propositional satisfiability.

Published in:

Annals of Operations Research, 2016, v. 240, n. 1, p. 13, doi. 10.1007/s10479-015-2028-9

By:

Hamadi, Youssef;
Jabbour, Saïd;
Saïs, Lakhdar

Publication type:

Article

Set constraint model and automated encoding into SAT: application to the social golfer problem.

Published in:

Annals of Operations Research, 2015, v. 235, n. 1, p. 423, doi. 10.1007/s10479-015-1914-5

By:

Lardeux, Frédéric;
Monfroy, Eric;
Crawford, Broderick;
Soto, Ricardo

Publication type:

Article

Curriculum-based course timetabling with SAT and MaxSAT.

Published in:

Annals of Operations Research, 2014, v. 218, n. 1, p. 71, doi. 10.1007/s10479-012-1081-x

By:

Asín Achá, Roberto;
Nieuwenhuis, Robert

Publication type:

Article

Improving linear search algorithms with model-based approaches for MaxSAT solving.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2015, v. 27, n. 5, p. 673, doi. 10.1080/0952813X.2014.993508

By:

Martins, Ruben;
Manquinho, Vasco;
Lynce, Inês

Publication type:

Article

20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”.

Published in:

2015

By:

Mancini, Toni;
Maratea, Marco;
Ricca, Francesco

Publication type:

Proceeding

CUD@SAT: SAT solving on GPUs.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2015, v. 27, n. 3, p. 293, doi. 10.1080/0952813X.2014.954274

By:

Dal Palù, Alessandro;
Dovier, Agostino;
Formisano, Andrea;
Pontelli, Enrico

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:

Koca, Esra;
Koksalan, G. Irmak

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:

Jianmin Zhang;
Shengyu Shen;
Jun Zhang;
Weixia Xu;
Sikun Li

Publication type:

Article

Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method.

Published in:

Algorithms, 2018, v. 11, n. 9, p. 142, doi. 10.3390/a11090142

By:

Gao, Wei;
Lv, Hengyi;
Zhang, Qiang;
Cai, Dunbo

Publication type:

Article

Problems on Finite Automata and the Exponential Time Hypothesis.

Published in:

Algorithms, 2017, v. 10, n. 1, p. 24, doi. 10.3390/a10010024

By:

Fernau, Henning;
Krebs, Andreas

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

Metaheuristics Approach for Maximum k Satisfiability in Restricted Neural Symbolic Integration.

Published in:

Pertanika Journal of Science & Technology, 2020, v. 28, n. 2, p. 545

By:

Sathasivam, Saratha;
Mamat, Mustafa;
Mohd Kasihmuddin, Mohd Shareduwan;
Mansor, Mohd. Asyraf

Publication type:

Article

Artificial Immune System Paradigm in the Hopfield Network for 3-Satisfiability Problem.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. 4, p. 1173

By:

Mansor, M. A.;
Kasihmuddin, M. S. M.;
Sathasivam, S.

Publication type:

Article

Robust Artificial Bee Colony in the Hopfield Network for 2-Satisfiability Problem.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. 2, p. 453

By:

Mohd. Shareduwan Mohd. Kasihmuddin;
Mansor, Mohd. Asyraf;
Sathasivam, Saratha

Publication type:

Article

Hybrid Genetic Algorithm in the Hopfield Network for Logic Satisfiability Problem.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. 1, p. 139

By:

Kasihmuddin, Mohd Shareduwan Mohd;
Mansor, Mohd Asyraf;
Sathasivam, Saratha

Publication type:

Article

A Bounded Model Checking Approach for the Verification of Web Services Composition.

Published in:

International Journal of Web Services Research, 2013, v. 10, n. 4, p. 62, doi. 10.4018/ijwsr.2013100103

By:

Zahoor, Ehtesham;
Munir, Kashif;
Perrin, Olivier;
Godart, Claude

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:

Yang Yubo;
Yang Yixian;
Fan Wenqing;
Huang Wei;
Li Zhongxian

Publication type:

Article

Random k-SAT and the power of two choices.

Published in:

Random Structures & Algorithms, 2015, v. 47, n. 1, p. 163, doi. 10.1002/rsa.20534

By:

Perkins, Will

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

Extending symbolic execution for automated testing of stored procedures.

Published in:

Software Quality Journal, 2020, v. 28, n. 2, p. 853, doi. 10.1007/s11219-019-09453-6

By:

Abdul Ghafoor, Maryam;
Mahmood, Muhammad Suleman;
Siddiqui, Junaid Haroon

Publication type:

Article

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.

Published in:

Software Quality Journal, 2016, v. 24, n. 1, p. 37, doi. 10.1007/s11219-014-9259-x

By:

Bauch, Petr;
Havel, Vojtěch;
Barnat, Jiří

Publication type:

Article

An algorithm for combinatorial interaction testing: definitions and rigorous evaluations.

Published in:

Journal of Software Engineering Research & Development, 2017, v. 5, n. 1, p. 1, doi. 10.1186/s40411-017-0043-z

By:

Balera, Juliana M.;
Santiago Júnior, Valdivino A. de

Publication type:

Article

Easy-hard phase transition in parameter estimation for optical waveguides.

Published in:

Scientific Reports, 2020, v. 10, n. 1, p. N.PAG, doi. 10.1038/s41598-020-74366-5

By:

Claussen, Gunnar;
Hartmann, Alexander K.

Publication type:

Article

On speeding up factoring with quantum SAT solvers.

Published in:

Scientific Reports, 2020, v. 10, n. 1, p. N.PAG, doi. 10.1038/s41598-020-71654-y

By:

Mosca, Michele;
Basso, Joao Marcos Vensi;
Verschoor, Sebastian R.

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:

WEIQIANG KONG;
LEYUAN LIU;
TAKAHIRO ANDO;
HIROKAZU YATSU;
KENJI HISAZUMI;
AKIRA FUKUDA

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:

SHAOWEI CAI;
CHUAN LUO;
KAILE SU

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:

ARCAINI, PAOLO;
GARGANTINI, ANGELO;
RICCOBENE, ELVINIA

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:

SHI Qian;
LIU Guohua

Publication type:

Article

FINITE SATISFIABILITY VERIFICATION IN UML CLASS DIAGRAMS - A COMPARATIVE STUDY.

Published in:

IADIS International Journal on Computer Science & Information Systems, 2013, v. 8, n. 1, p. 97

By:

Bastos, Paulo;
Ramos, Pedro

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:

Levray, Amélie;
Benferhat, Salem;
Tabia, Karim

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:

Tchinda, Rodrigue Konan;
Tayou Djamegni, Clémentin

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:

Sioutis, Michael;
Long, Zhiguo;
Li, Sanjiang

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:

Audemard, Gilles;
Simon, Laurent

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:

Grégoire, Éric;
Izza, Yacine;
Zhang, Du

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:

Boudane, Abdelhamid;
Jabbour, Saïd;
Sais, Lakhdar;
Salhi, Yakoub

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:

Surynek, Pavel

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

New enumeration algorithm for protein structure comparison and classification.

Published in:

BMC Genomics, 2013, v. 14, n. Suppl 2, p. 1, doi. 10.1186/1471-2164-14-S2-S1

By:

Ashby, Cody;
Johnson, Daniel;
Walker, Karl;
Kanj, Iyad A.;
Ge Xia;
Xiuzhen Huang

Publication type:

Article

A comparison of approaches for finding minimum identifying codes on graphs.

Published in:

Quantum Information Processing, 2016, v. 15, n. 5, p. 1827, doi. 10.1007/s11128-016-1240-0

By:

Horan, Victoria;
Adachi, Steve;
Bak, Stanley

Publication type:

Article

A genetic algorithm-based approach for optimizing short-term production schedules of multimine mineral value chains.

Published in:

Mining Engineering, 2022, v. 74, n. 10, p. 51, doi. 10.1007/s42461-021-00523-7

By:

Pathak, Pranjal;
Samanta, Biswajit

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