Search for Author All Reviews
	Marques-Silva, Joao     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Algorithms for computing backbones of propositional formulae Janota M., Lynce I., Marques-Silva J. AI Communications 28(2): 161-177, 2015.  Type: Article The backbone (also called “necessary variables” or “fixed assignments”) of a propositional formula φ is the set of literals that are true in all models of the formula. Put another way, t...... Oct 27 2016     Model checking with Boolean satisfiability Marques-Silva J. Journal of Algorithms 63(1-3): 3-16, 2008.  Type: Article Model checking of finite state transition systems has interesting applications in hardware verification. Boolean satisfiability (SAT) algorithms have proven to be very effective for this purpose. This paper captures the trends of the S...... Dec 19 2008
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy