Competition - PDFSEARCH.IO - Document Search Engine

Competition
Results: 44110

#	Item
1	Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Verfügung Add to Reading List Source URL: www.weko.admin.ch Language: German
2	October 3, 2018 The Honorable Michael S. Lee Chairman U.S. Senate Committee on the Judiciary Subcommittee on Antitrust, Competition Policy and Consumer Rights Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-10-03 09:41:40 World Wide Web Computing Digital media Terms of service Social media Electronic Privacy Information Center Politics and technology Online advertising Human rights Federal Trade Commission Marc Rotenberg Privacy policy
3	The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Numerical software Model checking Neuropsychology Solver Problem solving
4	Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2015-02-17 10:00:22 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Standard Performance Evaluation Corporation Computer performance
5	Federal Register / Vol. 67, NoWednesday, March 27, Notices B. Self-Regulatory Organization’s Statement on Burden on Competition The PCX does not believe that the proposed rule change will impose any burde Add to Reading List Source URL: 34.232.160.87 Language: English - Date: 2002-03-27 14:03:26 Foreign relations of the European Union Europe European Economic Area Politics of the European Union European Free Trade Association African Growth and Opportunity Act EFTA Court
6	10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2016-05-20 07:13:03 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Lis Standard Performance Evaluation Corporation
7	Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Swiss Competition Commission COMCO Verfügung der Wettbewerbskommission Add to Reading List Source URL: www.weko.admin.ch Language: German
8	Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Verfügung der Add to Reading List Source URL: www.weko.admin.ch Language: German
9	13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:51:00 Theoretical computer science NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
10	11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-10-23 05:42:15 Theoretical computer science Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis