Εμφανίζονται 1 - 20 Αποτελέσματα από 58 για την αναζήτηση '"SAT solver"', χρόνος αναζήτησης: 0,20δλ Περιορισμός αποτελεσμάτων
  1. 1
    Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Watched Data Structures for QBF Solvers -- How Good Can a Resolution Based SAT-solver Be? -- A Local…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT -- SAT Solver Competition and QBF Solver…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Circuits Using SAT-Solvers -- Encoding Treewidth into SAT -- Complexity Theory -- The Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Algebraic Cryptanalysis
    ανά Bard, Gregory V.
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Systems -- Converting MQ to CNF-SAT -- How do SAT-Solvers Operate? -- Applying SAT-Solvers to Extension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Modelling Max-CSP as Partial Max-SAT -- A Preprocessor for Max-SAT Solvers -- A Generalized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Static Symmetry Breaking for SAT -- Learning Rate Based Branching Heuristic for SAT Solvers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Nanophotonic Information Physics Nanointelligence and Nanophotonic Computing /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Signal Processing and Computing -- Quantum Dot-based SAT Solver and Decision Maker.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Community Branching for Parallel Portfolio SAT Solvers -- Lazy Clause Exchange Policy for Parallel SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Advanced Formal Verification
    Έκδοση 2004
    Πίνακας περιεχομένων: “…What SAT-solvers Can and Cannot Do -- Advancements in Mixed BDD and SAT Techniques -- Equivalence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Breaking Symmetries in SAT Matrix Models -- Partial Max-SAT Solvers with Clause Learning -- MiniMaxSat: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    SAT-Based Scalable Formal Verification Solutions
    ανά Ganai, Malay K., Gupta, Aarti
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Infrastructure -- Efficient Boolean Representation -- Hybrid DPLL-Style SAT Solver -- Falsification -- SAT-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Algorithm Engineering Selected Results and Surveys /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Engineering a Lightweight and Efficient Local Search SAT Solver -- Route Planning in Transportation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Mathematical Logic for Computer Science
    ανά Ben-Ari, Mordechai
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Algorithms for Computational Biology Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. .…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… to Fractional Hypertree Width -- On the non-Degeneracy of Unsatisfiability Proof Graphs produced by SAT Solvers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email