İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Logic-based 0-1 Constraint Programming

Main
Logic-based 0-1 Constraint Programming

Logic-based 0-1 Constraint Programming

Peter Barth

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

İl:

1996

Nəşriyyat:

Kluwer

Dil:

english

Səhifələr:

260

ISBN 10:

1461313155

ISBN 13:

9781461313151

Fayl:

PDF, 6.23 MB

IPFS:

,

english, 1996

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

A. Biere;M. Heule;H. van Maaren; — Handbook of Satisfiability

Enrico Giunchiglia & Armando Tacchella — LNCS 2919 - Theory and Applications of Satisfiability Testing

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Frédéric Benhamou, Alain Colmerauer — Constraint Logic Programming: Selected Research

Kim Marriott, Peter J. Stuckey — Programming with Constraints: An Introduction

Małuszyński, Jan (eds.) — Logic programming: proceedings of the 1997 international symposium

David S. Warren — Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

John Hooker — Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction

Vijay Chandru, John Hooker(auth.) — Optimization Methods for Logical Inference

Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) — Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh — Handbook of Satisfiability

Armin Biere — Handbook of satisfiability

Thomas Schiex, Simon de Givry — Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Helmut Simonis — Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Chu-Min Li, Felip Manyà — Theory and Applications of Satisfiability Testing – SAT 2021

Carsten Sinz, Uwe Egly — Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...

Nadia Creignou, Daniel Le Berre (eds.) — Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.) — Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.) — Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.) — Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.) — Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Alain Colmerauer (auth.), Philippe Codognet (eds.) — Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.) — Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.) — Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Frédéric Benhamou, (auth.), Andreas Podelski, (ed.) — Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers

Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.) — Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Joao Marques-Silva, Karem A. Sakallah — Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)

Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.) — Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.) — Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.) — Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Kroening, Daniel — Decision Procedures_ An Algorithmic Point

Açar ifadələr