Company: Satisfiability Applications and Theory (SAT) (REDACTED FOR PRIVACY)

Address: REDACTED FOR PRIVACY REDACTED FOR PRIVACY REDACTED FOR PRIVACY DE
Phone: REDACTED FOR PRI
Fax: REDACTED FOR PRI
Email: dataprivacyprotected@ionos.de, dataprivacyprotected@1und1.de

4 most popular domains of this owner:

satcompetition.org - SAT Competitions

Keywords: SAT solver, sat solvers, dimacs format, dimacs cnf, sat competition

satisfiability.org - The International Conferences on Theory and Applications of Satisfiability Testing (SAT)

Keywords: SAT, conference, Satisfiability, sat competition, sat 2018, implementing gsat, sat 2005

satassociation.org - SAT Association

Keywords: cdcl, bounded model checking, handbook of satisfiability, boolean sat

jsatjournal.org - Journal on Satisfiability, Boolean Modeling and Computation

Keywords: jsat