funsat.eecs.umich.edu
FunSAT - Forum
http://funsat.eecs.umich.edu/about.html
March 29, 2011. Valeria Bertacco, Andrew DeOrio and John Krzemien. Department of Electrical Engineering and Computer Science. For support, comments and bug reports. SAT Tutorials - Eugene Goldberg. SAT instances - SATLIB. Research paper: Human Computing for EDA pdf. This work was presented at DAC 2009,. San Francisco, July 30, 2009. Wild and Crazy Ideas presentation winner.
smtlib.cs.uiowa.edu
SMT-LIB The Satisfiability Modulo Theories Library
http://smtlib.cs.uiowa.edu/related.shtml
The Satisfiability Modulo Theories Library. The SMT solver competition. The International Workshop on Satisfiability Modulo Theories. The benchmark repository and execution service current used by SMT-LIB and SMT-COMP. The benchmark repository and execution service previouly used by SMT-LIB and SMT-COMP. This service is no longer active although it still contains historical data. The following sites are related or have similar objectives to those of SMT-LIB. Based on a design by Blue Web Templates.
fmv.jku.at
PicoSAT
http://fmv.jku.at/picosat
With release 965 we support inclusion of PicoSAT into R projects thanks to Christoph M ssel (see BoolNet. Which also led to more clean code related to the usage of pointer differences. The all-difference-constraint code was partially revived (thanks to Himanshu Jain). We also added support for our new generic incremental SAT solver interface ipasir.h. As used in the incremental track of the last SAT Race'15. For more details refer to NEWS. And to the SAT Race 2010. The header file picosat.h. We describe ...
krportal.org
KRportal - Resources
http://www.krportal.org/resources
Calendar export of events. Thursday, 19 May 2016. Events are now available as an iCalendar. For subscription and as a Google calendar. For viewing in your web browser. Wednesday, 20 January 2016. Initial content added to the Resources section. Monday, 2 November 2015. The website now features a deadline timeline on the right-hand side. This page lists pages on the web relevant for KR researchers and grouped by categories. You can suggest new resources to be added by filling out the corresponding form.
satassociation.org
Officers
http://www.satassociation.org/officers.html
DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more . Since 2004 Prof. Armin Biere chairs the Institute for Formal Models and Verification at the Johannes Kepler University in Linz, Austria. Assistant editor of Annals of Mathematics and Artificial Intelligence. Theory editor of the Encyclopedia of Computer Science and Engineering. And has co-edited several special issues of AMAI. And Discrete Applied Mathematics. Hans Kleine Büning received the Doctor Rerum Naturalium from We...
sls-book.net
Stochastic Local Search: Foundations and Applications
http://www.sls-book.net/links.html
The following is a list of links to web sites and web pages referenced in the book, as well as to some additional, related material and information. Special issue on Stochastic Search. Of Annals of Operations Research. Deadline October 31, 2004). SLS methods and techniques. The Genetic Algorithms Archive. Memetic Algorithms Home Page. 8th DIMACS Implementation Challenge: TSP. LK, the program. Complexity results for scheduling problems. Joe Culberson's Graph Coloring Page. Mersenne Twister Home Page.
pragmaticsofssat.org
Pragmatics of SAT 2015
http://www.pragmaticsofssat.org/2015
Pragmatics of SAT 2015. A workshop of the 18th International Conference on Theory and Applications of Satisfiability Testing. September 23, 2015, Austin, Texas, United States. As part of the SAT 2015 easychair smart program. Has been designed with the help of SAT technology, while the device drivers of Windows 7. Are being certified thanks to an SMT solver (based on a SAT solver). The SAT community organizes regularly SAT competitive events ( SAT competition. And Chaff 2004 for SAT'04. Took place before ...
satcompetition.org
SAT Competition 2003
http://www.satcompetition.org/2003
February 14 - May 8, 2003. Organized in conjunction with SAT 2003. The Sixth International Conference on the Theory and Applications of Satisfiability Testing). Last modification: 14 June 2003. Competition benchmarks available on SATLIB. Competition results summary here. Competition detailled results here. Benchmarks submission deadline postponed! New deadline: February, 21. Concerning submission rules now available! May 6-9, 2002, Cincinatti, Ohio, USA). And to promote new solvers. February, 21 (UPDATED...
satassociation.org
Scrapbook
http://www.satassociation.org/scrapbook.html
DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more . SAT 2015, Austin, Texas, USA. SAT 2014, Wien, Österreich. SAT 2013, Helsinki, Finland. SAT 2012, Trento, Italia. SAT Interactions, 2012, Dagstuhl, Germany. SAT Conference, 2011, Ann Arbor, Michigan, USA. SAT Conference, 2009, Swansea, UK. SAT Next Generation SAT Solvers, 2009, Dagstuhl, Germany. SAT Conference, 2008, Guangzhou, China. SAT Symposium, 2006, Guangzhou, China. SAT Symposium, 2004, Guangzhou, China.