Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Janota, Mikolas Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 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  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy