DOMAINS :: SMT-LIB :: Simplex as a set of deductive rules

QPQ saadati at csl.sri.com
Wed Aug 4 15:35:33 EDT 2004


Forums QPQ
DOMAINS :: SMT-LIB ::.. Simplex as a set of deductive rules

ofers wrote at Aug 04, 2004 - 12:35 PM
---------------------------------------------------------------------
Anybody knows of a reference to a work showing how to apply Simplex as a set of seduction rules ? 
Thank you, 
Ofer
---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=49&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=49

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/




More information about the SMT-LIB mailing list