SAT Live! - A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles).


Home		Set as Homepage		Add to Favorite		Contact

28 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » Theoretical » Complexity Theory	UPDATE INFO \| REPORT BROKEN LINK
SAT Live!	Popularity: Hit: 98

Details:

	A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well. Sponsored Links:
URL:	http://www.satlive.org/
Title:	SAT Live!
Description:	Computers, Computer Science, Theoretical, Complexity Theory - SAT Live!. A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles).
Specialized in:

A Compendium of NP Optimization Problems (Popularity:

): This is a preliminary version of the catalog of NP optimization problems.
ECCC - Electronic Colloquium on Computational Complexity (Popularity:

): A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and ...
Computability and Complexity (Popularity:

): An online course on complexity.
Information-based Complexity (Popularity:

): People, publications, prizes.
Constraint Satisfaction Problems (Popularity:

): Research group in the Computing Laboratory, Oxford University.
Parameterized Complexity (Popularity:

): Brief description, list of workers and problem compendium, compiled by Todd Wareham.
Probabilistically Checkable Proofs and Approximation (Popularity:

): Pointers to some survey articles and their authors, by M. Bellare.
Complexity of Algorithms (Popularity:

): A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
Algorithms and Complexity (Popularity:

): An overview of computational models and methods and how they relate to complexity, with links to selected papers.
Computational Complexity Theory (Popularity:

): Wikipedia article.

Popular Sites

Computability and Complexity (Popularity:

): An online course on complexity.
Constraint Satisfaction Problems (Popularity:

): Research group in the Computing Laboratory, Oxford University.
A Compendium of NP Optimization Problems (Popularity:

): This is a preliminary version of the catalog of NP optimization problems.
ECCC - Electronic Colloquium on Computational Complexity (Popularity:

): A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and ...
SAT Live! (Popularity:

): A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.

Related Press

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
The Conference Board Consumer Confidence Index(R) Edges Up (Popularity:

): The Conference Board Consumer Confidence Index�, which had declined in October, increased slightly in November. The Index now stands at ...
Sade Set to Release SOLDIER OF LOVE Worldwide on February 8th (Popularity:

): The wait is now over. Epic Records is pleased to announce the release of SOLDIER OF LOVE, the highly anticipated ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity:

): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity:

): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) � HyperGrowthStocks.com is pleased ...

Related Articles

10 Hints that Comprises SEO Copywriting Handbook (Popularity:

): Starting with SEO copywriting creates lot of confusions with website content writing. But in reality there is a huge difference ...
How to Start an Export Import Business (Popularity:

): To start your own export import business, it is very important to know the commodity you want to trade. Once ...
Interval Training and Super Set Training For Fat Loss (Popularity:

): Losing weight can be a difficult challenge for a lot of people. Weight loss is something that should not be ...
Giving is Our Foundation (Popularity:

): A strong characteristic of living a Christian lifestyle is having a giving heart. In fact, giving is our foundation. Remember ...
Psychological Strategies to Overcome Diabetes Depression (Popularity:

): 1. Take Notice of Your Thoughts Becoming aware of your thinking styles and the thoughts that you regularly have are an ...