GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
Automatic symmetry breaking method combined with SAT
Proceedings of the 2001 ACM symposium on Applied computing
An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
A Logic for Approximate First-Order Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Speeding up model-based diagnosis by a heuristic approach to solving SAT
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
SEM: a system for enumerating models
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reducing Symmetries to Generate Easier SAT Instances
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining local search and backtracking techniques for constraint satisfaction
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Geometric resolution: a proof procedure based on finite model search
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.00 |