Search results
From MaRDI portal
- Limitations 2013-09-20 Paper An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning 2013-08-12 Paper Probabilistic Algorithmic...10 bytes (19 words) - 14:53, 7 December 2023
- DPLL Search Procedures 2015-09-17 Paper Proofs of Space: When Space Is of the Essence 2014-10-14 Paper A characterization of tree-like resolution size...10 bytes (17 words) - 17:38, 13 December 2023
- the ordering strategy in the resolution method 1988-01-01 Paper Decision tactics for derivation search in the resolution method 1987-01-01 Paper https://portal...10 bytes (18 words) - 12:50, 28 January 2024
- Publication Type Improved Local Search for Circuit Satisfiability 2010-09-29 Paper Speeding-Up Non-clausal Local Search for Propositional Satisfiability...10 bytes (16 words) - 16:59, 12 December 2023
- propagation redundant clauses 2022-12-07 Paper The resolution of Keller's conjecture 2022-11-09 Paper The resolution of Keller's conjecture 2022-10-24 Paper Tighter...10 bytes (20 words) - 13:01, 11 December 2023
- mardi4nfdi.de/entity/Q4268487 1999-10-28 Paper Davis-Putnam resolution versus unrestricted resolution 1997-05-13 Paper A threshold for unsatisfiability 1997-03-18...10 bytes (16 words) - 03:31, 9 December 2023
- Efficient Single Image Super-Resolution 2019-01-31 Paper Face Sketch Synthesis via Sparse Representation-Based Greedy Search 2019-01-31 Paper Polar Embedding...10 bytes (16 words) - 06:56, 12 December 2023
- Paper : A Resolution-Based Prover for Multimodal K 2016-09-05 Paper Ordered Resolution for Coalition Logic 2015-12-11 Paper A Modal-Layered Resolution Calculus...10 bytes (17 words) - 15:28, 24 September 2023
- simultaneous stabilization problem 1982-01-01 Paper Extended spaces and the resolution topology† 1981-01-01 Paper Diagnosability of nonlinear circuits and systems-Part...10 bytes (18 words) - 09:04, 13 December 2023
- building with ordered resolution: Extracting models from saturated clause sets 2003-08-25 Paper A calculus combining resolution and enumeration for building...10 bytes (16 words) - 16:28, 7 December 2023
- optimization for aircraft conflict resolution. A metaheuristic approach 2016-10-07 Paper General variable neighborhood search applied to the picking process...10 bytes (19 words) - 21:51, 10 December 2023
- de la résolution d'un problème de réseau maillé (B) : sur la convergence locale de certaines méthodes 1983-01-01 Paper Réduction de la résolution d'un problème...10 bytes (16 words) - 18:03, 9 December 2023
- Supercritical Space-Width Trade-offs for Resolution 2020-02-12 Paper Clique is hard on average for regular resolution 2019-08-22 Paper Using combinatorial...10 bytes (17 words) - 09:46, 6 October 2023
- 2000-06-22 Paper Resolution-based approach to compatibility analysis of interacting automata 1998-08-13 Paper Combining formal derivation search procedures and...10 bytes (18 words) - 03:14, 12 December 2023
- Finding C -Linear Complete Inference Systems 1972-01-01 Paper Finding resolution proofs and using duplicate goals in AND/OR trees 1971-01-01 Paper Application...10 bytes (18 words) - 13:25, 13 December 2023
- de/entity/Q4697325 1993-06-29 Paper A series of search designs for \(2^ m\) factorial designs of resolution V which permit search of one or two unknown extra three-factor...10 bytes (16 words) - 07:42, 7 October 2023
- of DPLL Search Procedures 2015-09-17 Paper On Unification of QBF Resolution-Based Calculi 2014-10-14 Paper Unified Characterisations of Resolution Hardness...10 bytes (17 words) - 06:44, 7 October 2023
- Partially Ordered Resolution 2021-12-09 Paper SAT-based encodings for optimal decision trees with explicit paths 2021-04-07 Paper New Resolution-Based QBF Calculi...10 bytes (17 words) - 15:16, 6 October 2023
- construction in type theory using resolution 2003-04-27 Paper Deciding the guarded fragments by resolution 2003-04-02 Paper Resolution in Modal, Description and...10 bytes (18 words) - 11:26, 6 October 2023
- average for regular resolution 2019-08-22 Paper Algorithm analysis through proof complexity 2018-09-06 Paper A note about \(k\)-DNF resolution 2018-06-15 Paper...10 bytes (17 words) - 20:24, 6 October 2023