An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
A Service-Based Agent Framework for Distributed Symbolic Computation
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
Distributed High Performance Computing in Heterogeneous Environments with DOTS
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Journal of Automated Reasoning
Lemma Exchange in a Microcontroller Based Parallel SAT Solver
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Applying SAT Solving in Classification of Finite Algebras
Journal of Automated Reasoning
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
A competitive and cooperative approach to propositional satisfiability
Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Dynamic scheduling in parallel answer set programming solvers
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Strategies for Solving SAT in Grids by Randomized Search
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Incorporating Learning in Grid-Based Randomized SAT Solving
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
c-sat: A Parallel SAT Solver for Clusters
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
A Simple Distributed Conflict-Driven Answer Set Solver
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Experiences Running a Parallel Answer Set Solver on Blue Gene
Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Computer Languages, Systems and Structures
Expressive description logics via SAT: the story so far
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
Partitioning Search Spaces of a Randomized Search
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
A collaborative approach for multi-threaded SAT solving
International Journal of Parallel Programming
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
From idempotent generalized boolean assignments to multi-bit search
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
On multi-threaded satisfiability solving with OpenMP
IWOMP'08 Proceedings of the 4th international conference on OpenMP in a new era of parallelism
A taxonomy of theorem-proving strategies
Artificial intelligence today
Diversification and intensification in parallel SAT solving
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Partitioning SAT instances for distributed solving
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Cluster-based ASP solving with claspar
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Grid-based SAT solving with iterative partitioning and clause learning
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Ontology construction using computational linguistics for E-learning
IVIC'11 Proceedings of the Second international conference on Visual informatics: sustaining research and innovations - Volume Part II
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Parallel resolution of the satisfiability problem (SAT) with OpenMP and MPI
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Satisfiability threshold of the skewed random k-SAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
A new set of algebraic benchmark problems for SAT solvers
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
An investigation of sharing strategies for answer set solvers and SAT solvers
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
A complete random jump strategy with guiding paths
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A distribution method for solving SAT in grids
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
An overview of parallel SAT solving
Constraints
Parallel QBF Solving with Advanced Knowledge Sharing
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Partitioning Search Spaces of a Randomized Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Designing scalable parallel SAT solvers
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
A hybrid paradigm for adaptive parallel search
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
Asynchronous multi-core incremental SAT solving
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Parallel bounded analysis in code with rich invariants by refinement of field bounds
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Soundness of inprocessing in clause sharing SAT solvers
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Concurrent clause strengthening
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Loops with abelian inner mapping groups: an application of automated deduction
Automated Reasoning and Mathematics
| Hi-index | 0.00 |