Revision history of "ISAT 2016"

From HPC users
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 19:15, 8 March 2022‎ Schwietzer talk contribs‎ 10,814 bytes −2,623‎
  • curprev 19:13, 8 March 2022‎ Schwietzer talk contribs‎ 13,437 bytes +13,437‎ Created page with "== Introduction == Details about the purpose of iSAT can be found on the [https://projects.avacs.org/projects/isat/ official web page] which states: <blockquote> iSAT has been developed to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transcendental functions. The core of iSAT is based on a tight integration of recent DPLL-style SAT solving techniques (like lazy clause evaluation, conflict-driven learning..."
Retrieved from "https://wiki.hpcuser.uni-oldenburg.de/index.php?title=ISAT_2016"