Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Описание: This book presents selected papers from the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2019), which was held in Tottori, Japan, on December 6-8, 2019. Today, various types of intelligent system can be found everywhere.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Описание: This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Описание: This book constitutes the proceedings of the Third International Symposium on Intelligent Computing Systems, ISICS 2020, held in Sharjah, United Arab Emirates, in March 2020. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.
Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.
Описание: This book constitutes the proceedings of the 23rd International Conference on Discovery Science, DS 2020, which took place during October 19-21, 2020. The conference was planned to take place in Thessaloniki, Greece, but had to change to an online format due to the COVID-19 pandemic.
Описание: Sorting Parity Encodings by Reusing Variables.- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving.- Clause size reduction with all-UIP Learning.- Trail Saving on Backtrack.- Four Flavors of Entailment.- Designing New Phase Selection Heuristics.- On the Effect of Learned Clauses on Stochastic Local Search.- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.- Distributed Cube and Conquer with Paracooba.- Reproducible E cient Parallel SAT Solving.- Improving Implementation of SAT Competitions 2017-2019 Winners.- On CDCL-based Proof Systems with the Ordered Decision Strategy.- Equivalence Between Systems Stronger Than Resolution.- Simplified and Improved Separations Between Regular and General Resolution by Lifting.- Mycielski graphs and PR proofs.- Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.- Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.- On the Sparsity of XORs in Approximate Model Counting.- A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.- Abstract Cores in Implicit Hitting Set MaxSat Solving.- MaxSAT Resolution and SubCube Sums.- A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.- On Weakening Strategies for PB Solvers.- Reasoning About Strong Inconsistency in ASP.- Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.- Reducing Bit-Vector Polynomials to SAT using Groebner Bases.- Speeding Up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.- Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.- Short Q-Resolution Proofs with Homomorphisms.- Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.- Positional Games and QBF: The Corrective Encoding.- Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.- Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.- SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.- SAT-based Encodings for Optimal Decision Trees with Explicit Paths.- Incremental Encoding of Pseudo-Boolean Goal Functions based on Comparator Networks.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
