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 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
1
Show details for Barth, Kleine Büning, WeidenbachBarth, Kleine Büning, Weidenbach
5
Show details for BasinBasin
1
Show details for Basin, Brown, LeeserBasin, Brown, Leeser
1
Show details for Basin, Bundy, Kraan, MatthewsBasin, Bundy, Kraan, Matthews
1
Show details for Basin, ConstableBasin, Constable
2
Show details for Basin, FriedrichBasin, Friedrich
2
Show details for Basin, GanzingerBasin, Ganzinger
1
Show details for Basin, Giunchiglia, Kaufmann (ed.)Basin, Giunchiglia, Kaufmann (ed.)
1
Show details for Basin, Giunchiglia, TraversoBasin, Giunchiglia, Traverso
1
Show details for Basin, HoweBasin, Howe
1
Show details for Basin, KaufmannBasin, Kaufmann
2
Show details for Basin, KlarlundBasin, Klarlund

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