NP-complete - PDFSEARCH.IO - Document Search Engine

NP-complete
Results: 1728

#	Item
951	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
952	Name Date[removed]key # 1) Sudoku Puzzle Add to Reading List Source URL: www.edhelperclipart.com Language: English - Date: 2005-09-26 11:46:25 NP-complete problems Sudoku Games Puzzle video games Mathematics of Sudoku Sudoku algorithms Mathematics Logic puzzles Recreational mathematics
953	THE NATURE OF MATHEMATICS Add to Reading List Source URL: www.parliament.vic.gov.au Language: English - Date: 2012-12-11 20:22:33 Problem Game theory Combinatorial optimization NP-complete problems Mathematics 24 Game Emmy Noether
954	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
955	12 Network E. coli-transcription S. cerevisiae-transcription E. coli-metabolic S. cerevisiae-metabolic Add to Reading List Source URL: www.barabasilab.com Language: English - Date: 2008-04-11 15:52:10 Network analysis Network theory Networks NP-complete problems Graphlets Graph theory Algebraic graph theory Clustering coefficient
956	Newsletter of the PC Community May 2012 Welcome Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-29 13:39:00 Game theory NP-complete problems Analysis of algorithms Parameterized complexity Complexity classes Kernelization Nash equilibrium Algorithmic game theory Graph coloring Theoretical computer science Computational complexity theory Applied mathematics
957	Magic Sum Puzzle Magic Sum Puzzle Add to Reading List Source URL: www.bowlandmaths.org.uk Language: English - Date: 2012-12-26 05:16:33 Mathematics Problem solving Mechanical puzzles NP-complete problems Survo Puzzle Combination puzzle Puzzles Logic puzzles Games
958	Name Date[removed]key # 1) Sudoku Puzzle Add to Reading List Source URL: www.edhelperclipart.com Language: English - Date: 2005-09-26 11:46:35 NP-complete problems Sudoku Games Puzzle video games Mathematics of Sudoku Sudoku algorithms Mathematics Logic puzzles Recreational mathematics
959	Subject Information Guide Computability and Intractability MAT4CI Semester 1, 2014 Administration and contact details Host Department Host Institution Add to Reading List Source URL: research.amsi.org.au Language: English - Date: 2014-08-18 08:34:25 Computational complexity theory Structural complexity theory Mathematical optimization Computability theory NP-complete P versus NP problem NP P Low Theoretical computer science Applied mathematics Complexity classes
960	18 PUZZLES TUESDAY JANUARY[removed]HOROSCOPES Add to Reading List Source URL: www.territorystories.nt.gov.au Language: English - Date: 2015-03-04 17:41:34 Logic puzzles Games Cryptic crossword Sudoku Human behavior Word square Classical cipher NP-complete problems Crosswords Leisure

UPDATE