Search for Author All Reviews
	Blanchette, Jasmin Christian     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       A verified SAT solver framework with learn, forget, restart, and incrementality Blanchette J., Fleury M., Lammich P., Weidenbach C. Journal of Automated Reasoning 61(1-4): 333-365, 2018.  Type: Article SAT solvers are automatic decision procedures for the propositional satisfiability problem; they play an important role in planning, scheduling, optimization, and especially the formal verification of hardware and software systems. Thu...... Dec 10 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy