Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

antom

From MaRDI portal
Antom
Jump to:navigation, search



swMATH11457MaRDI QIDQ23399FDOQ23399


Author name not available (Why is that?)

Official website: https://projects.informatik.uni-freiburg.de/projects/antom




Cited In (19)

  • dCAQE
  • DQBDD: an efficient BDD-based DQBF solver
  • On conversions from CNF to ANF
  • ApCoCoA
  • PaQuBE
  • NAGSAT
  • Picoso
  • PMiniSAT
  • PMSat
  • GBLA
  • 3BA
  • LELA
  • HQSpre
  • countAntom
  • An overview of parallel SAT solving
  • PaMira
  • Q3B
  • 3BA: a border bases solver with a SAT extension
  • Laissez-faire caching for parallel \#SAT solving


This page was built for software: antom

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Antom&oldid=56256756"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 06:47. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki