MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Linearization by Program Transformation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Linearization by program transformation  
  • by Ra Alves, Mário Florido — 2003 — In ”Logic Based Program Synthesis and Transformation - LOPSTR 2003, Revised Selected Papers”, LNCS
  • …Linearization by Program Transformation Sandra Alves and Mário Florido University of Porto…
  • Cited by 1 (1 self) – Add To MetaCart
  • Roundings respecting hard constraints  
  • by Benjamin Doerr — 2005 — In Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science
  • … programming is to transform a solution of a linear system to an integer one which is “close”. The customary…
  • Cited by 1 (0 self) – Add To MetaCart
  • Constraint Propagation for Linear Recursive Rules  
  • by James Harland And, James Harl, Kotagiri Ramamohanarao — 1993
  • … simpler for left-linear programs than for many others. In this paper we show how to transform right-linear…
  • Add To MetaCart
  • Unfolding Partiality and Disjunctions in Stable Model Semantics  
  • by Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-huai You — 2000 — Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), April 12-15
  • … using a simple linear and modular program transformation. Hence, reasoning tasks concerning partial…
  • Cited by 65 (13 self) – Add To MetaCart
  • A Technique for Drawing Directed Graphs  
  • by Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-phong Vo — 1993 — IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
  • … linear program, then transform the solution to an integer one in polynomial time. Another involves…
  • Cited by 174 (16 self) – Add To MetaCart
  • Modelisation et Resolution de Problemes . . .  
  • by Docteur De L'inpg, Yasmina Abdeddam, Oded Maler, M. Jean, Della Dora, M. Brinksma, M. Kim Larsen, M. Oded Maler, Directeur De These, M. Claude, Le Pape, M. Stavros Tripakis — 2002
  • … of linear programming is to transform the problem into mixed integer linear programming (MILP) format…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB