1![Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich? and Alexander Aiken? EECS Department University of California, Berkeley?? Abstract. There is a tension in program analysis between precision and e Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich? and Alexander Aiken? EECS Department University of California, Berkeley?? Abstract. There is a tension in program analysis between precision and e](https://www.pdfsearch.io/img/d11813b8c7adb4b227002c631ce5c222.jpg) | Add to Reading ListSource URL: theory.stanford.edu- Date: 2014-08-19 20:09:00
|
---|
2![Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers](https://www.pdfsearch.io/img/897bd9f76add9faed0a2c9b6af399d8d.jpg) | Add to Reading ListSource URL: theory.stanford.edu- Date: 2014-08-19 20:11:20
|
---|
3![Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk](https://www.pdfsearch.io/img/6e72deb12ca9ec07699345d49c5b4bd8.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:09
|
---|
4![Optimality of sequential screening with multiple units and ex post participation constraints Daniel Krähmer∗and Roland Strausz† First version: September 10, 2015 This version: March 1, 2016 Optimality of sequential screening with multiple units and ex post participation constraints Daniel Krähmer∗and Roland Strausz† First version: September 10, 2015 This version: March 1, 2016](https://www.pdfsearch.io/img/8f939ef41ed927fd815a8da3863d97c6.jpg) | Add to Reading ListSource URL: www.wiwi.uni-bonn.deLanguage: English - Date: 2016-03-01 14:37:43
|
---|
5![Systems science / Cybernetics / Systems / Occupations / Systems engineering / Metaphysics / Complex systems / Systems theory / Philosophy Systems science / Cybernetics / Systems / Occupations / Systems engineering / Metaphysics / Complex systems / Systems theory / Philosophy](/pdf-icon.png) | Add to Reading ListSource URL: www.vsgc.odu.eduLanguage: English - Date: 2013-05-02 13:43:32
|
---|
6![VOILAND COLLEGE OF ENGINEERING AND ARCHITECTURE Engineering and Technology Management COURSE SYLLABUS VOILAND COLLEGE OF ENGINEERING AND ARCHITECTURE Engineering and Technology Management COURSE SYLLABUS](https://www.pdfsearch.io/img/12fc4d9637b7c92c7db5001be5b8795d.jpg) | Add to Reading ListSource URL: etm.wsu.eduLanguage: English |
---|
7![Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗](https://www.pdfsearch.io/img/52cf0bb7188a9825aab892a5d034b7e8.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-16 08:22:42
|
---|
8![Dynamic equilibrium with heterogeneous agents and risk constraints Rodolfo Prieto∗ November 2009 Abstract We examine the impact of risk-based portfolio constraints on asset prices in a standard exchange economy model w Dynamic equilibrium with heterogeneous agents and risk constraints Rodolfo Prieto∗ November 2009 Abstract We examine the impact of risk-based portfolio constraints on asset prices in a standard exchange economy model w](https://www.pdfsearch.io/img/110eded45c2770f71f662be254aa0f24.jpg) | Add to Reading ListSource URL: www.hec.unil.chLanguage: English - Date: 2009-12-08 11:44:02
|
---|
9![Minimization of Symmetric Submodular Functions under Hereditary Constraints J.A. Soto (joint work with M. Goemans) DIM, Univ. de Chile Minimization of Symmetric Submodular Functions under Hereditary Constraints J.A. Soto (joint work with M. Goemans) DIM, Univ. de Chile](https://www.pdfsearch.io/img/c4480408b0255e2ab49325d0c0d5f17a.jpg) | Add to Reading ListSource URL: www.dim.uchile.clLanguage: English - Date: 2013-08-08 17:44:20
|
---|
10![A Note on Boundary Constraints for Linear Variational Surface Design Andrew Nealen TU Berlin Abstract This note presents a proof for the subspace property of linear variational methods for fair surface design. Specifical A Note on Boundary Constraints for Linear Variational Surface Design Andrew Nealen TU Berlin Abstract This note presents a proof for the subspace property of linear variational methods for fair surface design. Specifical](https://www.pdfsearch.io/img/5130fd3df6f2f917d1b139f551ea5557.jpg) | Add to Reading ListSource URL: igl.ethz.chLanguage: English - Date: 2011-02-07 08:46:08
|
---|