MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleBibTeX cite key
Show details for Abdelwaheb, Basin, PodelskiAbdelwaheb, Basin, Podelski
Show details for Afshordel, Hillenbrand, WeidenbachAfshordel, Hillenbrand, Weidenbach
Show details for Ahrendt, Baumgartner, de Nivelle (ed.)Ahrendt, Baumgartner, de Nivelle (ed.)
Show details for AlthausAlthaus
Show details for Anderson, BasinAnderson, Basin
Show details for Antoy, Echahed, HanusAntoy, Echahed, Hanus
Show details for Areces, de Rijke, de NivelleAreces, de Rijke, de Nivelle
Show details for Argon, Delzanno, Mukhopadhyay, PodelskiArgon, Delzanno, Mukhopadhyay, Podelski
Show details for AutexierAutexier
Show details for Avenhaus, Hillenbrand, LöchnerAvenhaus, Hillenbrand, Löchner
Show details for AyariAyari
Show details for Ayari, BasinAyari, Basin
Show details for Baader, OhlbachBaader, Ohlbach
Show details for BachBach
Show details for Bachmair, GanzingerBachmair, Ganzinger
Show details for Bachmair, Ganzinger, Lynch, SnyderBachmair, Ganzinger, Lynch, Snyder
Show details for Bachmair, Ganzinger, StuberBachmair, Ganzinger, Stuber
Show details for Bachmair, Ganzinger, VoronkovBachmair, Ganzinger, Voronkov
Show details for Bachmair, Ganzinger, WaldmannBachmair, Ganzinger, Waldmann
Show details for BackesBackes
Show details for Backes, WetzelBackes, Wetzel
Show details for Ball, Podelski, RajamaniBall, Podelski, Rajamani
Show details for Barnett, Basin, HeskethBarnett, Basin, Hesketh
Hide details for BarthBarth
1995Logic-based 0-1 constraint programmingBarth-95b
1995Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany		Barth-Diss
1994Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33		Barth94a
1993A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?		Barth93c
1993Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51		Barth93b
Show details for Barth, BockmayrBarth, Bockmayr

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)