Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
1	Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2016-06-28 04:33:45 Mathematics Theoretical computer science Algebra Linear programming Formal methods Constraint programming Declarative programming Invariant Satisfiability modulo theories Linear inequality Inequality
2	Networks of Mobility and Constraint: The Economic Integration of New Immigrants to Canada by Maria M. Majerski Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2017-12-19 13:00:53 Culture Economy Sociology Majorityminority relations Economic sociology Social capital Social economy Socioeconomics Linear regression Immigration Economic mobility
3	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
4	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
5	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-11-17 20:46:33 Constraint programming Software engineering Computer programming Constraint satisfaction Local consistency Theoretical computer science Constraint Theory of constraints Schaefer's dichotomy theorem Constraint logic programming
6	LNCSA New Framework for Constraint-Based Probabilistic Template Side Channel Attacks Add to Reading List Source URL: www.ofirweisse.com Language: English - Date: 2018-10-17 09:19:19 Computing Theoretical computer science Computer programming Arrays Computer performance Lookup table Software optimization Advanced Encryption Standard Block cipher Boolean satisfiability problem
7	Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:30:43 Software testing Software engineering Model checkers Computing Theoretical computer science Formal methods Model checking Formal verification Random testing Test automation SPIN model checker Acceptance testing
8	Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 15:02:20 LTE Technology Mobile technology Wireless Software-defined radio Mobile telecommunications ENodeB System Architecture Evolution Telecommunications E-UTRA User equipment Mobility management
9	Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan\|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit Add to Reading List Source URL: abotea.rsise.anu.edu.au Language: English - Date: 2008-06-30 05:38:49 Constraint programming NP-complete problems Puzzles Crossword Constraint satisfaction Local consistency Human behavior Backtracking Theoretical computer science Cognition
10	Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa† Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2017-08-28 19:17:10 Computational complexity theory Complexity classes Theory of computation NP Probabilistically checkable proof IP Proof of knowledge Reduction NC Craig interpolation EXPTIME Combinatory logic

UPDATE