Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
1	On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Mathematics Computational complexity theory Operations research Logic in computer science Mathematical optimization NP-complete problems Boolean algebra Maximum satisfiability problem Boolean satisfiability problem Constraint satisfaction Solver
2	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
3	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization
4	Learning to Search Better than Your Teacher Kai-Wei Chang KCHANG 10@ ILLINOIS . EDU Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2015-05-20 20:38:23 Belief revision Reinforcement learning Loss function Algorithm Mathematical optimization Logic Applied mathematics Mathematics
5	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
6	Asynchronous Knowledge Gradient Policy for Ranking and Selection Add to Reading List Source URL: informs-sim.org Language: English - Date: 2015-02-05 09:24:44 Statistics Operations research Probability Mathematical analysis Algorithm Mathematical logic Theoretical computer science Selection algorithm Mathematical optimization Simulation Normal distribution Logic simulation
7	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
8	LNCSA Standard Framework for Timetabling Problems Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2006-04-07 00:52:14 Constraint programming Mathematical optimization Artificial intelligence Theoretical computer science Applied mathematics Constraint logic programming NP-hard problems Operations research Genetic algorithm Nurse scheduling problem Constrained optimization
9	CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-12-29 00:22:18 Operations research Algorithm Mathematical logic Theoretical computer science Mathematical optimization Academia Mathematics Applied mathematics Dynamic programming Randomized algorithms as zero-sum games Randomized rounding
10	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver