SourceForge - PDFSEARCH.IO - Document Search Engine

SourceForge
Results: 2750

#	Item
1	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
2	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
3	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
4	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
5	12th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann (co-organizer) Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:55 Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Solver Benchmark
6	11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-10-23 05:42:33 Computing Theoretical computer science Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer
7	12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:59 Theoretical computer science Computing NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
8	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:22 Theoretical computer science Logic in computer science Formal methods NP-complete problems Electronic design automation Constraint programming Satisfiability modulo theories Alt-Ergo Solver Benchmark SMT
9	How to update firmware of Avalon 6 for your Raspberry Pi v1 or v2 Requirements:  SD memory card with capacity of at least 1 GB.  SD card reader.  Win32 Disk Imager burning sofware: http://sourceforge.net/project Add to Reading List Source URL: www.nicehash.com Language: English - Date: 2017-06-19 03:58:13 Computer storage devices Computing USB Computer architecture Computer hardware Linux-based devices Secure Digital Raspberry Pi Memory card Card reader
10	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:57