MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
#YearTitleType
1
Show details for Abdelwaheb, Basin, PodelskiAbdelwaheb, Basin, Podelski
1
Show details for Afshordel, Hillenbrand, WeidenbachAfshordel, Hillenbrand, Weidenbach
1
Show details for Ahrendt, Baumgartner, de Nivelle (ed.)Ahrendt, Baumgartner, de Nivelle (ed.)
1
Show details for AlthausAlthaus
2
Show details for Anderson, BasinAnderson, Basin
1
Show details for Antoy, Echahed, HanusAntoy, Echahed, Hanus
1
Show details for Areces, de Rijke, de NivelleAreces, de Rijke, de Nivelle
1
Show details for Argon, Delzanno, Mukhopadhyay, PodelskiArgon, Delzanno, Mukhopadhyay, Podelski
1
Show details for AutexierAutexier
1
Show details for Avenhaus, Hillenbrand, LöchnerAvenhaus, Hillenbrand, Löchner
1
Show details for AyariAyari
3
Show details for Ayari, BasinAyari, Basin
1
Show details for Baader, OhlbachBaader, Ohlbach
1
Show details for BachBach
12
Show details for Bachmair, GanzingerBachmair, Ganzinger
2
Show details for Bachmair, Ganzinger, Lynch, SnyderBachmair, Ganzinger, Lynch, Snyder
1
Show details for Bachmair, Ganzinger, StuberBachmair, Ganzinger, Stuber
1
Show details for Bachmair, Ganzinger, VoronkovBachmair, Ganzinger, Voronkov
4
Show details for Bachmair, Ganzinger, WaldmannBachmair, Ganzinger, Waldmann
1
Show details for BackesBackes
2
Show details for Backes, WetzelBackes, Wetzel
1
Show details for Ball, Podelski, RajamaniBall, Podelski, Rajamani
1
Show details for Barnett, Basin, HeskethBarnett, Basin, Hesketh
5
Hide details for BarthBarth
1995Logic-based 0-1 constraint programmingBook
1995Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany
Thesis - PhD thesis
1994Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33
Proceedings Article
1993A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Proceedings Article
1993Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51
Proceedings Article
7
Show details for Barth, BockmayrBarth, Bockmayr

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